[norvig]

You're right! 2.4 was out when I wrote that, so I could/should have used dequeue. But I wanted to use things that I thought readers would be familiar with, and timing wasn't a big issue.