Chiedo John
Chiedo John
Would making this change mean we'd be breaking anchor links people already have bookmarked and if so, are we OK with that?
What level of effort would it take to make sure all of the old anchor URL as of today will redirect to the new URLs based on the operation ID...
The obvious idea. Good thinking. Let's do both! So the old ones still work. But make the Operation ID URLs the default for anything that links to those sections.
Still planning todo. Just taking time to get to it. Other priorities.
@nschonni this one may be worth looking at if you decide to spend more time making improvements to the codebase!
This worked! Thanks. Had to fork the repo though.
@HugoMuller solution worked for me! But it would be nice if we didn't have to use that kind of hack... How would you feel about exposing some API that would...