Quick links: content, navigation, search.
Add replacement for clock_gettime (for Mac OS) -- ticket #38