29b38efbe7
This file was previously ignored as stray. Adding it now so that its removal can be part of the upcoming production hardening merge instead of being a silent untracked file. It will be deleted in a follow-up commit.