Yes, Eternal Vigilance saw that it was scrubbed also. Thanks for capturing it though!
0’s nickname should be ‘Scrub’.
On another topic (maybe, maybe not) I watched 'The Lives of Others' tonight. I'd highly recommend it if you haven't seen it yet!