RT#8691: script to merge usernums