80x25: a story about a default that many terminal users must have wondered about.