I oversimplified the situation. It isn’t like we are just editing static HTML pages to create the documentation. We have a proprietary source format we use and a tool that converts it to HTML. It has quite a bit of specialized functionality, but in the end it isn’t dynamically generated from info stored in a database so certain things are more difficult or impossible to implement.
With that said, we are currently looking into platforms we could use to host all of our learning resources (written, videos, etc.) in a single location. Some of the goals of this are to have better tagging, comments, and lots of other cool stuff. Switching platforms isn’t something that happens overnight, though. We have to make sure whatever platform we choose fits all our needs and requirements which takes time. Stay tuned for more updates on this.