Thanks. I should file a bug about this against the Linux man-pages project.