rename from "Pinserver" to "Harvard PIN" #2

#2