The Mixed Update

Hey! These are just a few changes that I put forward to adjust a few things I noticed, as well as different things that were reported.

Changes:

• Don't add mods from the /mods/1.12.2 folder into the drop-mod ui, they usually aren't added manually by players.
• Adjusted the ending of the welcome description slightly to avoid overlap.
• Added a menu setting to enable the devtools console upon server launch.
• Added support for showing multiple server names under one server code in settings.
• Don't adjust the size of the server boxes in the selection menu, even if there are less available.
• When you press the refresh button, it'll now process the landing ui again, including randomising the background.
• Upsized more setting elements (all good now?)

Thank you! ❤️