Looking to use Pico-8 with my first year game dev students. However, they usually start in groups of two to six (I let them choose who to work with for their first game), using GitHub issues to document their progress, and source code control (again via GitHub) to coordinate collaborative development. How good is Pico-8's .p8 format to merges, in your experience? I can see the distinct sections should allow parallel development, so long as there aren't two people working on the map or the sprites at the same time. But it would be good to get the experiences of those who may have used source code control collaboratively, to see what potential conflicts there might be with merges, etc. Alternatively, how easy is it to copy and paste sprites and maps (the graphics-based elements) between different branched versions?