A new patch V8.1.4 has just been deployed.
It includes some fixes and an updated version of the user manual.