On Tuesday, 12 January 2021 at 08:19:45 UTC, ichneumwn wrote: > Where could one file a suggestion for an update to the > documentation? In the top right section of the page you can click the "Improve this page"-link.