Whether or not extra::time functions are monotonic should be documented

[mstewartgallus]

It should be documented whether or not extra::time functions can go backwards in time. One reasonable way for that to happen for some functions might be that the user changes the time settings.

[nham]

Visiting for triage. Since extra::time (now libtime) will eventually be replaced by something (rust-chrono?) (cf #14657), should this be closed and filed under the replacement (provided it persists there)?

[gsingh93]

I believe these time functions are gone now. This should probably be closed.

[steveklabnik]

Yup!