Today Version 7.2.37472.0 has disappeared from the Release History. Does that mean that I should go back to the earlier version? I don’t see any bugs in 7.2.37472.0.
No need to downgrade unless you are having issues, but I found it to be quite stable.
They did not remove 7.2.36465 even though it caused major problems, so maybe it was just someone clicked the wrong button and 7.2.37472 disappeared.