server room monitoring: Fix toctrees