[basex-talk] My BaseX GUI shows huge font and icons after upgrade