i get info ftom here: skywater-pdk.readthedocs.io/en/latest/rules/device-details is that the right place? and cloned the spice models from: https://foss-eda-tools.googlesource.com/skywater-pdk/libs/sky130_fd_pr . Correct?