When all else fails... I replaced the new file an older version of the checkout page, late November date, and it just works. I can't easily see any difference but I will investigate to see what was missing, but there must have been something gone wrong. Finger must surely point at me.
Sorry for the trouble. I will try to find the error.