Extension:List old GenPlay dir extension