Eric also lent considerable aid and the use of his reposurgeon tool to doing the actual migration. Despite his storied rivalry with Stallman, the two actually worked together over the past 10 months to get this shit done.