New corrective patch V8.5.4 has just been deployed.
It fixes several minor issues and two security leaks pointed out by a community member.