On the last point, I have some ideas for how to make a hybrid version that validates against a different hash. It flips its position as an appendage afterwards, and why not, it could be binary in both cases, this is not fatal to any wire or disk format. This does mean an extra 64 characters for text encoding. It's akin to the fat binaries of macOS. On all the other points, I agree. I could probably write at least a few dozen pages on the many ways in which proactive efficiency design is beneficial, Jevons's paradox notwithstanding.