reticulum_website/docs/manual/_static/scripts/furo-extensions.js