@User: Yes, although the original model before we changed all the names was "nwdiode"; it's clear from the name that one end connects to the nwell, but not so clear what the other end connects to. It got mapped to the "ps2nw" name, but I don't know what drove that decision (in the documentation somewhere, maybe?).