alci on Nostr: one problem I have with current Tuxedo OS is that it ships with a broken dolphin ...

one problem I have with current Tuxedo OS is that it ships with a broken dolphin version (more precisely a dolphin version with an annoying bug). A fix is available, is there an chance it will be upgraded soon ? https://bugs.kde.org/show_bug.cgi?id=498211