Use <page>_<section> for section labels in docs to avoid conflicts (e.g., between the "LevelDB" page and the "LevelDB" section of the license page).