Posted July 05, 2021 by Auroriax (Tom H.)
I've uploaded v5 of PushTOOL which fixes a number of weird edge cases that were reported by the fine folks on the Thinky Puzzle Games server. For example, you can now always push in a number & pull out a number in the same move (if lined up correctly, of course). And it fixes some cases where you couldn't push blocks if you were sandwiched in-between numbers in a specific way.
I've uploaded it as the main new version on itch. If you'd still like to play the original jam version (v4), I've added a separate link to play that version as a Puzzlescript standalone in the page description.
Thanks for playing!