> I sort of lament the use of lines under headings, as they look visually better for human readers of Markdown

Maybe I am spoiled but I rarely read markdown directly. As a user of vscode I do ctrl + shift + v on a markdown file and read the rendered version.