Super Mario Paint support (v2022.15)

Super Mario Paint is probably the most popular of the Mario Paint clones (join their discord community!). Notessimo started has a clone of Mario Paint as well even if it has diverged a lot since the first version.


This is a companion discussion topic for the original entry at https://jd.boiv.in/post/2022/10/27/mario-paint.html