Initial release: Waldstein.terminal