[elementary] Documenting the general, top-level