I've had a new Linux laptop for several weeks and only just realised that I didn't have `man` installed! Google is my default the vast majority of the time, and this seems to confirm it.