Man pages matching name ctags-lang-verilog in section 7: