3 ms·Thanks. I should file a bug about this against the Linux man-pages project.by dfranke 7y agoThanks. I should file a bug about this against the Linux man-pages project.