I'm using `<hr>` as a separator elsewhere. Is there a reason not to use it here?