Changes

#3 (Nov 9, 2021, 10:29:49 PM)

1. Split into separate examples for multiple specification and records — Tidefelt Henrik / githubweb

#2 (Nov 2, 2021, 1:50:49 PM)

1. Clean up trailing whitespace — Tidefelt Henrik / githubweb
2. State that lower value of 'priority' means higher priority — Tidefelt Henrik / githubweb
3. Implement Gerd's restriction of where priority may be specified — Tidefelt Henrik / githubweb