I use Selene as well for some time now and it's better with it. I still think best solution would be to hide menu in distraction free mode. I rarely use it anyway.