How things are named in the PDK should be included in the documentation (by including the common documentation from https://github.com/google/open-source-pdks).

See related issue @ google/open-source-pdks#7