3 ms·

Typo on the menu bar: “Man Page” instead of “Main Page”

• jicea 6y ago
  No, it’s really the output of: man hurl :) But as English is not our primary language, there must be a lot of typo/bad English