More detailled information about RunManager
10 you will find in the Run Manager Wiki. It contains many articles with
detailed descriptions of all functions, case studies and many more.
Like in any Wiki, anyone can also add and edit articles. We encourage
you to share your know-how and experiences with other organizers and timers.