In case anyone is looking for yet another option (while we wait until tap-to-sleep becomes available for Android, like it already is for e/OS….); @pascollin suggested in another thread to use the Button Mapper app, and set (for instance) the volume-down button to switch off the screen.