It wasn't clear as to whether this also included companies that allow you to work 'compressed hours' - ie a normal 37.5 hour week but in 4 days (start earlier, finish later), which is increasingly common.