3 ms·I think he meant to reply to me since he quotes my post.by rms 17y agoI think he meant to reply to me since he quotes my post.