On 09/03/2023 19:48, Brandon Stewart via webkit-dev wrote: > What would people prefer we use as the official documentation location: > (1) docs.webkit.org > (2) developer.webkit.org > (3) documentation.webkit.org > (4) Other +1 for docs.webkit.org (shorter is better)