Some tools for the asciicast ascii animation format - View it on GitHub