Yes, this appears to be the case, thanks. BTW, I also got e-mail bounces from emboss@emboss.open-bio.org: 421 4.4.0 [internal] no MXs for this domain could be reached at this time (and also postmaster and webmaster).
I'll ask/notify the EBI people.
Cheers, Philip