manコマンドの数字の意味、ずっと疑問に思っていたけど、調べていなかった。たぶん複数あるんだろうなとは思っていたが、(8)とか書いてあるやつは(1)～(7)が絶対にあるんだと思っていた。