Chromebook: Export Serial Monitor data to file

The title says it all but the important bit is the Export of Serial Monitor data to a file on a Chromebook.

The usual suspects of putty and hyperterminal are not available and Android terminals have a problem with Chromebooks and the lack of OTD (protocol?)