Yes 
. The documentation is not auto-generated from source code (JSDoc) but manually maintained. It does not use any external libs. All features are based on custom code.
Smart devs could argue that it’s unprofessional to maintain a documentation like that for such a large project. But it’s important to understand that there are historical reasons for the status quo. Changing it now would require a lot of time and effort, so it’s easier for us to stick to the current approach and focus on other topics.
If we could start from scratch, I would vote for using JSDoc and a (customized) documentation template. It’s easier to maintain and you can achieve a similar visual appearance.