Just an opinion...anybody surprised I have one?

I think if you're doing the tune as a MIDI so other folks can learn it, it's best to go simple - especially if it's for printing sheet music. Those dots can be difficult for some folks to figure out and simplicity also provides room for a bit of creativity.

Regarding double spacing of MidiText files:
--The program puts line breaks - <br> - in
--If you don't un-check 'Automatic Linebreaks', it puts another break in so you have two - double-spacing.

It didn't seem to matter to MidiText though. The red MIDI part translated just fine.