4 ms·How about "min" pages - minified manual pages?by etjossem 13y agoHow about "min" pages - minified manual pages?