We noticed that the rules did not specify that the ingame timer should display three decimals. This had become an expectation on our part, but it seems we overlooked reflecting this in the rules. This has been fixed.