Fonts Used, and their Licenses.

For GIFs using only ASCII values: Roboto Mono, under Apache-2.0.

© Google Inc.

For any other GIF: GNU UniFont, under GPL 2.0

© GNU/Free Software Foundation Inc.