This two-line comment is no longer correct (we can have more than one). I'd yank them. Luke won't care :)