FUDI-fied

FUDI-fication makes sure src and dest are identical when up/downloading
patches/abstractions. A non-FUDI-fied patch may contain double spaces,
for instance.
FUDI-fied by removing leading zeros from display