It's likely that the primary devs have little to no control of that port, including the ability (and possibly ip rights) to take it down.