See e.g. https://docs.harelang.org/ascii
Not sure why this wasn't automatically updated, but it is fixed as of e9b63afe
e9b63afe