Comment by utopiah

> Why not just a tar with all the docs? How big are they? A couple MB?

  fabien@debian2080ti:~$ du -sh /usr/share/man/ #all lang
  52M     /usr/share/man/

Yep... in fact there are already a lot of tooling for that, e.g. man obviously but also apropos.