That should make it a little easier to search / view the PDK repos -- We have an intern working on making the crosslinking for for SystemVerilog / Verilog - https://github.com/google/verible/issues?q=is%3Aopen+is%3Aissue+label%3Akythe