add tagging (and filtering) functionality to docs

[danabauer]

Let's implement Docusaurus tagging and filtering on the Overture community page, similar to this.

• upgrade docusaurus: https://docusaurus.io/blog/releases/3.6
• Docusaurus docs page on tags
• custom implementation instead of google tags?