Remove Developer Manual extension