Hi, thanks for the feedback!
Distraction-free mode hides several areas of the application and is indeed fullscreen (by design).
Your workaround is definitely a bug, but I am amazed that you found it!
I may add some kind of minimal-UI, non-fullscreen version in the future, but it’s definitely not the goal for distraction-free.