Yes, ironic in the sense that, by retiring those bitcoins from circulation, usable bitcoins are more scarce, which drives prices up, making the loss even more v

Yes, ironic in the sense that, by retiring those bitcoins from circulation, usable bitcoins are more scarce, which drives prices up, making the loss even more valuable in the future.