Remove some stale PHP files and update CONTRIBUTING