Closed bensmrs closed 2 weeks ago
The “External resources” sections point to nothing. This PR removes them.
Hmm, I think that's wrong. We use "External resources" as a separator. The problem is that the text "External resources" shouldn't actually be shown, we only want the separator line.
The “External resources” sections point to nothing. This PR removes them.