docs: adjust for the changed name of the header-file package on Debian

Also, be more complete, reword a few things, and stop mentioning Slang.