0001-drop-rtd-extension.patch
