Dear participants,

The PIT is now over.
The voting is closed and no new submissions are taken.

Thanks for participating.