Use a single directory, `docs`, for the XHTML documentation of the core entities, library, tools, and contributions