GitHub strips <video> tags with release asset URLs in rendered READMEs, so the demo was invisible. Converted the mp4 to an optimized GIF and embedded it as an <img> tag which renders everywhere.
