Open-source music notation with HTML5 support? Maybe someday with VexFlow—though right now it's in "pre-pre-pre-alpha"