[SR-Users] RFC: Moving misc/obsolete/ to its own git repository