In fact, given that FI depends on the function defined, the FI associated to a defined function in a given and stable environment cannot change.
Rather than sponges having an optimal form, I would rather say that sponges display an optimal architecture. As for the category mistake, it doesn’t seem anathema to me to say that an optimal phenotype (here the sponge architecture) involves an optimal genotype representing optimal functional information.