GRIME: Patch Notes 1.3.5

Hey! Yarden GRIME director here, and this is PROBABLY our final final GRIME patch. Fixing a few more things reported since the previous one: Fixed a bug related to pullable platforms. - Fixed a bug related to the platfo…