I've been asked on IRC to reply to this ITP, since I opened it. Please feel free to decide in the best interest of the Debian users! I'd suggest that this means to follow the Jenkins branch. Best regards, Thomas Koch, http://www.koch.ro