I tried to propose a synonym make <= makefile.
Unaccountably, that gave me an error:
Failed to propose synonym:
Reverse synonym makefile already proposed on the tag makefiles.
Which looks like a non-sequitur.
Still, [makefiles] is a synonym of [makefile], so there might be a lost old synonym-proposal screwing things up, though neither sede nor the synonym-page show anything.