Oh my lol. I was checking the other issue-*.rs files in src/test/ to see what the convention was, and I just copied and pasted the header.
Do you think I should `git commit --amend` with an updated date?