record.js: improve default filename as suggested by Garrett LaSage