Updates to build #3457 — RUMP! - It's a Jump and Rump! Steam update #888637

Thanks for your feedback folks! It's really valuable to us and we're considering every bit. We've added a lot of it to our 2do-lists - and here we've got the first batch of changes, which are mostly based on your feedback. Despite our upcoming "gamechanger"-patch, of course. ;) Big preparations for the next update! This required touching pretty much every map, so please bear with us and the huge patch size. Keycard-Doors are now triggering earlier (also from the side), feedback welcome! Fixed collision of some rocks in "Riverrun". Fixed a typo in loadingscreen tips. Fixed some achievement typos. Fixed a visual bug where pressing tab was showing a weird white border. Improved the LevelSelectBoard, should scale better with resolutions now and plus some layout adjustions. Fixed spiketraps not going crazy anymore, feedback welcome! Added collision borders to many levels. Added a timer to tim...