Changes

#3 (Dec 10, 2021, 4:30:29 PM)

1. Re-introduce repetition — Tidefelt Henrik / githubweb

#2 (Dec 10, 2021, 3:38:49 PM)

1. Add alternative reading of 'info' — Tidefelt Henrik / githubweb