You wont find any. Just think of it. Bad news / bad numbers would be a morale hit

Is it such a hassle learning verilog if you know vhdl or vice versa?

Its available on flathub, thats arguably better than any repos

Hyperland and arch? Not what I expected

ahh so the remote system needs to have the docker stack as well then. hmm, that might be an issue :p