If the HAT is 56.5mm wide (as shown on the drawing), the distance from hole center to edge should be 4mm, not 3.5mm. If it's 56mm wide (as mentioned as an option in the text), the hole distance is correct, though.
Pi 3 and 4 have 56mm wide boards (don't know about older models) , so maybe the 56.5mm option should just be dropped altogether?