Editor: Add a top-line comment and a TODO