This was meant for #[4]. The clients are so willy-nilly in reply-tagging. Hard to tell who is responding to whom, sometimes.