Add short-name anchors to Widoco HTML output

[tmcphillips]

Summary

Widoco generates HTML anchor ids using the full namespace URI (e.g. id="https://w3id.org/trace/trov/0.1#ArtifactArrangement"). This means term-level fragment URIs like w3id.org/trace/trov/0.1#ArtifactArrangement don't scroll to the term — the fragment #ArtifactArrangement doesn't match the full URI anchor.

Add a post-generation step that inserts short-name anchors alongside the existing ones so both forms work.

Steps

• Add post-Widoco step to generate short-name anchors
• Verify every term in the ontology gets a short-name anchor
• Verify full URI anchors still work
• Verify fragment navigation from w3id.org redirect

Related

• Update Widoco build and deployment workflow #16