Glk! A Universal User Interface! for Interactive Fiction!