Man: remove timetip-extras.
Man: simplify.