# eat the zeroes but keep the tabular look (i.e. replace each leading zero
# with a space). had to do it as cases, since this seems like context-
# sensitive matching, which sed will not do, i think).
# eat the zeroes but keep the tabular look (i.e. replace each leading zero
# with a space). had to do it as cases, since this seems like context-
# sensitive matching, which sed will not do, i think).