Re: [sr-dev] RFC: Moving misc/obsolete/ to its own git repository