Resolves: #2034 It's useful to both developer tools and for users to recognize the lock file is generated. This header should achieve both.