In edit mode, the export options still show up. This pushes other tools down the page and is not useful in that mode.
This can probably be circumvented in JS, but it would be tidier to do it on the server side.
Original request: https://en.wikisource.org/w/index.php?title=Wikisource:Administrators%27_noticeboard&diff=11178261&oldid=11176170