format-time-rpf Format time e.g. "14:30:10" from Date object. Named in honour of https://en.wikipedia.org/wiki/Richard_Feynman https://twitter.com/@evanxsummers