Thanks so much, Hugo!

Does anyone think I've collected enough information to submit a bug report? If it happens again, I'll try the direct-IP-address thing, but beyond that, I don't know what else to do, diagnostics-wise.