ekzyis 71ce403b0c

Replace GIFs with WebP (#2416) ...

* Rename maze.gif to maze.webp

* Replace gif, mp4 with webp

2025-08-12 12:03:55 -05:00

..

error.js

Replace GIFs with WebP (#2416)

2025-08-12 12:03:55 -05:00