Typo causing ugly docs

Stream: general

[Eric Rodriguez]

Just above docs#has_Sup, it looks really weird as someone put a \` instead of ". Would do a PR but don't have access: the only character to change is here

[Julian Berman]

If you share your github username one of the @maintainers will grant you access

[Eric Rodriguez]

ericrbg

[Julian Berman]

Cool -- may be a few hours but yeah someone will drive through with an invite :)

[Eric Rodriguez]

it's a Sunday I hope it's a few hours :b

[Yury G. Kudryashov]

Sent

[Yury G. Kudryashov]

You should have an invitation in your e-mail inbox.