eirk I personally really dislike the behavior introduced by #1040, and I would prefer not to have it, but some people do like it so, there should be an option to disable/enable it
eirk yeah this new behavior is better than what it was before, just putting things closer to the bottom when not needed. still, I prefer it on the top, so this post should still stay open