<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
I manually removed it. Seemingly none of it was needed.<div><br /></div><div><a href="https://wiki.python.org/moin/IntegratedDevelopmentEnvironments?action=diff&rev2=309&rev1=308" target="_blank" rel="noopener noreferrer">https://wiki.python.org/moin/IntegratedDevelopmentEnvironments?action=diff&rev2=309&rev1=308</a><br /></div> </body>
</html>