Since it's now the top-level documentation for our documentation system in general, not just docs/, it deserves a more normal name.