Remove old galaxy integration code

We have reimplemented this elsewhere.
Emphasize that Seal will not warn for wrong property names