Yes, but not for long
. (I'm working on making margins more easily tweakable, and an option to always ignore the bar's height was
already planned ).
(Note that having the bar set up to show *anything* at all was already making it part of the bottom margin. It's currently only ignored if it's "set up" to show nothing, ever).