. "If so, then 5 is the best value to use in the FAQ text, after all. (The details of the second clock need not be mentioned there.) The rest of the changes are still worth making, I think." . . .