@alanc @josephholsten @dalias there are only two possibilities: either we rewrite autoconf or we remove it.
Both are difficult, but the good news is that are possible (something impossible before the “Linux wave” we’re still riding)
But I don’t know what is easier.