and there were fixed, and serverpush was restricted only to the versions
of Mozilla known to support it.