X Store HRProfiler options in preferences
- Context menus in HRCov
- Layout options in HRCov
- Context menus in HRProfiler
