Has anyone been involved in a migration from a proprietary GIS stack to open source? If so what open source tools where involved and were there any measurable benefits?