[augustk]

The current version of Oberon (sometimes called Oberon-07) is about the same length though.

[Rochus]

But it's easier to count pages in a PDF than a HTML, and the 07 spec is even less complete than the earlier one.