Severity: wishlist

The attached patch makes checkdoc warn if there's no lexical-binding
cookie.