Originally Posted By R. Belmont
Just add a check for the header and treat it as .lyx if one isn't present. We need to meet common use cases in the middle, and this seems like a simple and obvious one.


The idea was to see if no-intro would make the most sensible thing by renaming their extension, since it boils down to a search & replace in the datfile...