As of F9 I used to be able to do man gettimeofday Now, in F11 I can't find a man page for gettimeofday. Has the man page been removed, or am I missing some package? Thanks!