though I dunno where we WOULD store it, since there's no convenient place for the launch server code to put state.