Slightly better support for helium:check feedback spanning multiple source files.  Yet to be done: When clicking an error in a file that is not yet open, open that file.