Better default log file names in distribution
- Improve extensibility
- Introduce menu section page titles