Regarding "/>", isn't it just a matter of `(string ">") <|> (string "/>")`?  And yes, let's add trimming....