This is in fact OK. If you hate js that much then just use CURL and read it offline. I personally do not like js much either but complaining about every instance of it is pointless.
I don't want to run the functions, I want to view them.
Also the functions execute on the server anyway (plus JavaScript isn't even the only supported language), so execution should also be possible without a browser having JavaScript enabled.
20 years after the term "progressive enhancement" was first used in a tech talk[0]. People really ought to have received the message by now: javascript as a client-side feature is a way to enhance a website rather than to build its basic functionality.