Hi Francesco, sorry to hear this caused an issue for you. I checked the doc repository and we correctly have double dash there, so it must be a bug with the documentation framework that renders the page. I have reached out to the web team to fix.
4 Likes