I am one of those who would prefer an empty license comment block at the beginning of a file. I have noticed that the header has changed and now links directly to two files. Unfortunately both files are unintelligible to me. Imagine how confused my students, in an Intro course I am giving right now, will think of these files. This was how I found the Help bug as I wanted to look up how to just eliminate these comments. Instructions on how to squash this block will be appreciated.
Ken