3 ms·

Are you sure it was a tilde? My terminal emulator puts in tildes for various special characters (such as when I press the delete key).