Resolves: #2034 

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