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