RedirectedUrl: version 5.022: HOMEPAGE: permanently redirected: https://verilator.org -> https://www.veripool.org/verilator/
  RedirectedUrl: version 9999: HOMEPAGE: permanently redirected: https://verilator.org -> https://www.veripool.org/verilator/