Hi, I noticed that "pad" pads number with 0 prefix. What would be a good way to use space instead?
I was about to copy the definition of pad (which is so nice to look at) from lib/misc and edit it but was wondering if a "temporary patching" (if that is a thing) would be better? Regards, Kashyap
