I'm still going to work through adding GIF toggle buttons to pages with animated gifs where it hasn't been done yet. I do have some other ambitious ideas (ambitious as in, it would be a LOT of coding work but it'd be worth it) to try making this site accessible to as many people as possible
that should be relatively easy! you can use js to change the background image to the static version (include that js in the functiuon you use to pause gifs) and then in the functiojn you use to play gifs you can use js to change the background property back to the gif file!
something like document.getElementById('exampleID').style.backgroundImage = 'frozenpic.jpg'; should work :3
If people don't like it however I will try to fix it, to be clear