Merge pull request #4506 from handrews/no-tick

We do not need to see the instructions post-filing

Author: handrews

.github/pull_request_template.md

@@ -14,7 +14,7 @@ present on the main branch, only on the development branches).
 Note that we do not accept changes to published specifications.
 -->
 
-Tick one of the following options:
+<!-- Tick one of the following options: -->
 
 - [ ] schema changes are included in this pull request
 - [ ] schema changes are needed for this pull request but not done yet