Could be. For now I've prepared an upload to drop the hal plugin, but if we want to remove it completely, I also don't mind.
Could be. For now I've prepared an upload to drop the hal plugin, but if we want to remove it completely, I also don't mind.