> manpages-linux would be even better than manpages-linux, since oops! manpages-kernel, I mean. -- "9d500048f61858361eec0daa4f695aff" (a truly random sig)