Paper in UIST 2021 on “Automatic Instructional Video Creation from a Markdown-formatted Tutorial”