We don't currently recommend using lexical-binding in our Coding Conventions (`(elisp) Tips'). Is there some reason for that, or is it just an oversight? I would suggest to add it, and have attached a first draft for what it could look like. Thoughts?