Tidy up

Note that html-janitor is now a distributed version, whereas before it was
source.