@cstross @rudy I get why we might do metric time, but what's the advantage of an 80 minute hour and 18 hour days?