Espruino Reference PDF

print on paper with page referencing is ... a two-pass process

Yes - however I had hoped that there would be a JavaScript library to handle that already!

With a multi-file (web page) document, a master document is required and things get worse

Agreed - it'd be a complete pain unless all the docs were merged into one file.

I could do that, but I'm not sure that's really something anyone needs at the moment.

Opera feature

It's this: http://stackoverflow.com/questions/15797161/browser-support-for-css-page-numbers

I'm not 100% sure it is supported in Opera now - maybe nothing supports it and that user posted an answer without trying it :( It would have been perfect though.