07/19/2022, 06:12 AM
Wow that's a lot of info, thank you for keeping me up to date.
I have only little info in return
For animated images you can also make them by hand with this site:
https://ezgif.com/apng-maker
as long as you have a series of PNGs (but that should be possible with Pari/Gp).
Actually I also used that site for making the previous images, because Sage's built in default animation transforms it into a GIF, and that makes the images look crappy (pixelation, script becomes badly readable, etc). But with the above tool you make an APNG out of PNGs so no information is lost.
I have only little info in return

For animated images you can also make them by hand with this site:
https://ezgif.com/apng-maker
as long as you have a series of PNGs (but that should be possible with Pari/Gp).
Actually I also used that site for making the previous images, because Sage's built in default animation transforms it into a GIF, and that makes the images look crappy (pixelation, script becomes badly readable, etc). But with the above tool you make an APNG out of PNGs so no information is lost.