Short: Demo of the Thinker hypertext system