Yes. But other differences appear to exist, that are not listed there.
EDIT: about the two "HOPPO" galaxies, i got two versions of Oids and they were just here in one of them. I included them, but they're clearly not original ftl galaxies. People having good extra galaxies can send them to me for inclusion, btw.