A while back I accidentally pushed `bug_22457_v2` to torbutton.git project repo. Please delete it.