The SPS "flag" in HOL entries is managed by members of the SPS team, so only them (at least right now) are able to change it.
As for Continuum, dlfrsilver is probably the person more likely to provide an answer. He will probably see this thread, but PM him in case you don't get an answer within the next days.
|