I don't think I was very pedantic. Certainly lost forever versus likely lost forever isn't the same thing, protocol speaking. There might be a time in a hundred years perhaps, that these seemingly lost bitcoins are brought into circulation.

Furthermore, the consideration that 1111111111111111111114oLvT2 is a burning address is arbitrary. The specific address has the same chances to be generated as any other address. The fact that it looks weird doesn't change that fact.