chiark / gitweb /
terminal: verify grdev tiles are correctly linked