add galaxy.cryptodb.org, per RM #16402