DOKK / manpages

Man pages matching name getmicrotime in section 9: