Although GDevelop has a pretty good inbuilt tilemap editor with collision masks, I still think Pandako's extension works better because it allows you to define different kinds of platforms (solid, jumpthru or ladders) in the same tilemap, which, as far as I've learned, is something you can't do with GDevelop's own tilemap editor.