Since we no longer have recursive includes, we don't need them. Removing the protections uncovered a couple of accidental double-includes: good.
Simple rule: include files should never include include files. "Notes on Programming in C", Rob Pike, February 21, 1989 <https://www.lysator.liu.se/c/pikestyle.html>