Documentation for module-level state