[tor-commits] [flashproxy/master] Changes to badge exports.