Clement Tsang bb08494c12 other: use vhs to automatically record demo gif (#2006) ...

This PR adds a vhs "tape" file to automatically do the demo gif
recording. The point of this is to make it more consistent/easy to do,
and this has the benefit of making a smaller gif file.

2026-03-22 18:57:23 -04:00

..

icons

other: rename Linux icon to avoid collision with generic bottom icon (#1896)

2025-12-12 14:47:52 +01:00