My principal reason for proposing that 127 be reduced to a /16 instead of a /8 was to help unwind the kubernetes hairball.

I have no idea to what extent 0/8 is being used today. I do see quite a bit of 240/4 in private networks. It's a shame that last may never be publically allocated.