+ /* Some trickery here: the extensions for kpse_fmt_format can
+ * clash with other extensions in use, and we prefer for those
+ * others to be preferred.
I reverted it, but I still don't get it. Oh well, guess there's more
important things to spend time on.
Thanks,
k