Emphasise that read_verilog doesn't lint