Can I have r5763 deploy for the wporg…

Can I have r5763-deploy for the wporg-web role updated? Requires an nginx deploy. It retires phpdoc.wordpress.org. (There will be more cleanup here, this is just the important part.)

#request