New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/34030#issuecomment-1021700068 Comment: > Are you sure you wanna remove documentation? Will it break `?command`? That's introspection and it still works. It should be using either the function docstring or the actual source as-installed in `site-packages`, so in fact we don't even need `src/sage`. There are two reasons I'm still shipping `src`: (a) the scripts in `src/bin` are needed because our installation is imperfect (b) for `--t --all` it needs the source in `src/sage`, however there must be a way to make test to work on the installed files.