ColoredMachineLength.html is missing