The new Release 20.03 is out! You can download binaries for Windows and many major Linux distros here .
Press ctrl-h@Jens: I suppose it is time to remove this stupid shortcut?
Still, don't remove it. That bar usually bothers me, but now I have to work with more files than usually.