Update default AI names
Switch from a dated US political joke that's older than GNOME to names from https://en.wikipedia.org/wiki/Alice_and_Bob
Update translations in cases where the names were just copied across.
Switch from a dated US political joke that's older than GNOME to names from https://en.wikipedia.org/wiki/Alice_and_Bob
Update translations in cases where the names were just copied across.