This seems like good advice. I did think about repeating the unanswered question, but was worried that I'd come off as obnoxious if the commenter was avoiding it deliberately for some reason. Given the multiple confirmations that that's probably not the case, I think I'll do so more often in the future. Thanks.