.@joeharris_ud Manual! And real typing paper, bought in the 90s, found when we were cleaning out an office.