diff -r 000000000000 -r 1918ee327afb doc/src/images/collidingmice-example.png
Binary file doc/src/images/collidingmice-example.png has changed