Update:
I cleared the history on Firefox, no more gray horizontal ruler and “Edit” in the footer.
This is not the first instance where I’ve found I have to make special efforts on other websites because of potential issues that seem particular to Firefox, FYI.