docs for statements using @

Stream: general

[Patrick Massot]

I just noticed that some statements are unreadable in the docswebsite because they use @: docs#is_open_coinduced doesn't make any sense until you jump to GitHub source.