If Proctor did come back, wouldn’t that count as a second transfer where sitting out a year would be in effect? As far as I know, you’re only immediately eligible after the first transfer. Does the fact that he wouldn’t have actually appeared as a player there waive that?
I had no qualms with him heading back home, but this seems like a red flag. I’m of the non-bitter feeling some others have expressed. If you did leave, Best Wishes and Vaya Con Dios. I’d rather focus of the players who didn’t leave in the first place.