Professor Stolfi must be capable of doing the job if nobody else is prepared to do it, or capable of doing it.

Great joke!
That would be funny indeed. I do have a Github account...
Please someone do it, and remove the temptation.

We need a suggestion list for what we put as the User Agent name.