There's another really subtle easter egg hidden in bootrom_rt0.S:

https://github.com/raspberrypi/pico-bootrom/blob/ef22cd8ede5...

And the explanation:

https://news.ycombinator.com/item?id=30970274