Could you bring AnkiMobile’s “Bottom bar size” setting to Desktop Anki? I really love the small bottom bar! Thank you.