@Gargron yes, pg_restore or piping to psql takes a while. Anyway I’m glad it’s done.