agenda: Cut out huge swath of old 8sync-* procedures/macros.