Port dump_moocs_registrations from FUN V1.