Thanks to an anonymous user, a memory leak in BasicButtonDockTitle was
found and fixed