Hi,
On 2020-10-20 18:57:00 +0200, Magnus Hagander wrote:
> I don't think anybody has, but it certainly would make sense to do so!
Cool!
> Maybe it would actually also make sense to do so in the documentation pages
> for example? (it would probalby be a lot of work to do it across *all* of
> the website, but the docs could perhaps be singled out)?
Yea, agreed - I was also wondering about that.
Greetings,
Andres Freund