Hi Emma,
Thank you for reaching out and for your kind words about our documentation.
The system you see on our site is a custom-developed component created for our internal use. Unfortunately, we do not have a public extension or bundle available for this purpose.
If you are looking for alternatives, you may explore other Joomla documentation or knowledge base extensions in the Joomla Extensions Directory that might meet your needs.
Thank you again for your interest, and I wish you the best with setting up your technical support content.
Best regards,