Add office location
Update coq-pl15 link