Thanks for posting the link. Look back at typesetting in the old times. A lost art. Set the tone for what would come later. In some ways it looks like markdown.