It bothers me that some tools (namely bat) do not come with their own man pages. I think it goes against the Unix philosophy.

@bender@twtxt.net Hmmm 🤔 Where do you put man pages outside of the contest of a package manager? 🤔

@bender@twtxt.net Yea but what about non-root?

@bender@twtxt.net So it should be possible to install man pages in one’s home directory👌