Lorna Jane Mitchell

@rober15 please don't at-mention individuals, they get plenty of notifications as it is. Perhaps someone already implemented this as a vendor extension, and could share an example for you to...

Hi @lukins-cz could you add a description to the pull request to explain what the change is and why? You can use Redoc with docker already, the instructions are here:...

There are options here, but it would need tool changes. OpenAPI uses tags for applying labels to endpoints but we use those for navigation, which makes it hard to use...

@monica-m-ps I don't have a timescale on this, but we'll keep the issue updated if there are updates.

Can you point me to the discussion you mean? I don't have any updates - these will be added to this issue when we have something.

I'm sorry that you find it unhelpful, but I think this is the expected behaviour. The OperationIDs are mostly used in programming contexts, and so we don't display them to...

I'm still thinking about this one, and now I think we should leave it open for more comment/consideration.

I've locked the issue for further conversation since the discussion does not seem to be constructive. The issue remains open and under consideration though!

I realise this is an old issue, but I don't want to lose a valuable bug report! Could you let us know if this still seems like a problem since...

I know we made some changes to our dependencies since this issue was reported. Could you confirm if you're still unable to build the most recent release on windows please?