seems like there is some (small) delay when pressing the power button once to lock the screen.
Is it possible to fix this? (Maybe we should turn off 'double press' option so it won't have a delay?)