I think someone would like to use datetime as title suffix, so that when the notes are exported:
- they would be less likely to conflict on file names.
- they can be sorted by the the timestamp in file names.
But available time format 20:30 is not suitable as part of the file name. So perhaps a new time format “20.30.15” is better.
Something like “2017-01-30_20.30.15” is even better, with the help of an optional delimiter between date and time.
This also means: the exported filename should allow a max length of 255 characters on both Windows and Linux.