v9.3.0

changelog:

• exterminated mod support until further notice
• added pins, also known as achievements (some pins are associated with gamejolt trophies!)
• the title screen now shows some select community levels in the background
• sound emitter: sound preview now also takes into account the pitch and volume
• added a button in the title screen that leads to the forums
• you can now log into your gamejolt account on the html5 build
• more loading tips
• various ui changes
• minor optimizations
• bug fixes