Feedback wanted for the rendering of alternatives in the reference manual

Developing the Coq system
1

I’m taking the liberty of advertising this PR where feedback is needed to take a decision.

Feel free to comment here or on the PR thread.