On 17/09/2019 23.51, sebb wrote: > I've scanned the website, but cannot find any reference to the issue > management system. > > In particular, where should website bugs be reported? > Sorry for the late post, github issues would be the preferred place for this.