Hurray! One of my pending patches was accepted in #Debian (closes: #651832)