Updated mandoc and Linux-libre.