More file renaming
Re-remove Ssreflect configuration