indeed! `signal.pause` is just the right thing to use.