Verilator: mistake in installation instructions

[AntonHermann]

Hey :)

In the installation instructions for verilator you have this command:

git checkout -b verilator_3_922 verilator_3_922

However a commit named verilator_3_922 does not exist.

Is there a reason to have different installation instructions than those in their repo?

Apart from that, I'd suggest linking their github repository instead of the veripool one, because opening the veripool link in a browser yields a "Page not found".

Thanks and best regards