( Oops. Forget anthing I said above about cut-and-pasting to an abc text file from the web page source. It apparently goes through a compacting process which removes the original line-feeds.
From the browser screen works fine, though.)