Hello everyone,I started using BaseX for a class project a few days ago. I'd like to run it on my Ubuntu 20.04. I've installed openjdk version 14 to do so.I've set my Ubuntu display settings at 125% fractional scaling, but it appears that BaseX does not scale with this setting. The GUI consequently appears really tiny, almost unusable.Does someone have a way to solve this issue, and make BaseX scales accordingly to my Ubuntu display settings, please?Thank you for your help.Kind regards,Hugo