delete unused `roles.py` (comes from `agoraplex.themes` now) [ci skip]
add label for doc entry point (for intersphinx) [ci skip]