(But, not that it matters all that much, I think you might possibly not have noticed that Ruby and Raemon are different people?)
Oh yeah, oops. I saw Raemon made the (at-the-time) most recent comment and that someone whose name also started with R was commenting upthread, so I pattern-matched incorrectly.
Oh yeah, oops. I saw Raemon made the (at-the-time) most recent comment and that someone whose name also started with R was commenting upthread, so I pattern-matched incorrectly.