[m-rev.] for review: clean up bitmap.m

[Zoltan Somogyi]

On Sat, 1 Jan 2022 13:32:35 +1100, Peter Wang <novalazy at gmail.com> wrote:
> I thought I did it yesterday but the root partition was
> getting tight as well. Should be fixed now.

Thank you.

Zoltan.