The page was created by some CS professor at UNC, not by Pike.
Pike's rules are from 1989, which is before it was common to publish HTML.