That was during qualifying, it was clear to be seen on the regular FOM feed. In fact I’m surprised to have seen that quite a few people (not just here) missed it. What happened was fairly innocuous, Hulkenberg just got in the way of Petrov a bit.
Yeah, everyone was joking about it when it happened so I assume everyone knew! I too thought it was in Q1. May have been FP3, however. Things were getting pretty hectic towards the end of the session if I recall correctly.