sage-dev: add doctests for patches with renames