Where's 209.240.157.34 ?

Jon Lewis wrote:

I don't think it's totally clear to the customers that when ARIN allocates
a /20 from a reserved /19, the customer isn't supposed to use the second
/20.

So does someone want to announce it and dump it into the nearest sludge pit?