Why Notch uses an IBM Model M