2022-03-10 6:21 AM
2022-03-10 6:29 AM
You can do it here and add the Bug report tag. Good chance that it's user error as well.
2022-03-10 7:25 PM
The alternate path would be through github where HAL is present.