On Sat, 23 Dec 2017, Paul A. Rubin wrote:
Just to be clear, it does not appear in the Tools menu with a document loaded?
Paul, Yep. The environments sequence I provided is from one of the opened documents, a book. Not sure how (or why) one would look to lint anything else. Rich
