Show HN: BetterMan – man pages for all of Debian, with explain and portability