yup, you managed to figure out what I meant. sorry I had you do the legwork, I didn't have the links handy and had to go by memory from a while ago. I'm glad I didn't mess things up.
as I said, easy to fix in the OSD, if someone cared about it. I sort of doubt anyone ever did, and discussing changing the OSD right now is probably riskier than ever for OSI, so I kind of doubt they'd undertake it
Karl Fogel likes this.
Agreed. I also doubt that anyone (even anyone at the OSI) would deny that GNU Autoconf is open source software :-), and would bet that if we asked N reasonably well-informed FOSS developers whether Autoconf is open source they would all say yes. There's the formal definition, and then there's what's actually in everyone's heads...