re #9635 Don't forget to delete the .rst file like I did