Currently a markdown header tag (#) only highlights that one character -- would be nicer if it applied to the whole header line.