Readded the GeoServer section in the migration doc (not sure why it was removed).