2022-03-10 06:21 AM
2022-03-10 06: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 07:25 PM
The alternate path would be through github where HAL is present.