Every first Monday of the month there will be maintenance on the server from 5 pm Due to maintenance, Gitlab will be unavailable for approximately 60 minutes
Increased modularity in MistakeFinder, changed Statistics accordingly and made MistakeDefinitions.txt more readable.
