[webkit-dev] Lost docs!

[Michael Catanzaro]

On Wed, Apr 3 2024 at 09:47:05 PM -05:00:00, Brandon Stewart 
<brandonstewart at apple.com> wrote:
> I did copy the documentation over a year ago, but anything added 
> there since then would be missing on docs.webkit.org.

Perhaps we should just turn off the wiki to prevent more stuff from 
being added by mistake? Anybody still need the GitHub wiki? It's really 
best to have just one place for our docs.