Dragging HTML files to Tinderbox

When HTML files are dragged into Tinderbox, the $Text of the note created uses the HTML source's style information for formatting as styled text.