2 ms·

Yea, those html pages are generated from the same source as, and are therefore identical to, the man pages.