Isn't there a problem here? This draft says: IPv4 loopback addresses are defined in Section 2.1 of [RFC5735] as "127.0.0.0/8". That's not perfectly true. RFC5735 defines 127/8 as loopback addresses, but it leaves the door open for other addresses to be assigned to the loopback interface. And indeed doing so is a common pattern for network devices, and a less common (but very useful) pattern for services. So let's say…
I don't understand this - you say you are "left with" an entire /8 that is universally recognized as the loopback ... what more could you want ?
I am genuinely curious - what is the utility of having lots of different network address ranges to define as the loopback ?