updated AllMods, the list of manual modifications.