IMO, search is a pretty significant part of docs and I haven't seen a good way doing that without either javascript or a web server.
But other than that, yeah, you don't really need JS.
But other than that, yeah, you don't really need JS.
In the meanwhile, the crates.io team doubled down on Ember to attract front-end developers while presumably alienating a lot of other potential contributors.