which HAL6.3.1 update

Thanks for the hint!

This will be corrected immediately. Even though the differences don’t really matter. It’s just a cosmetic issue so to say.

Cheers,

Georg