We put HTML tags in earlier translations so I don't think it would hurt to put them in here. We should be consistent either way.