That story rang a bell, and I was about to comment about 112 redirecting to 911 (precisely because 112 was easier to dial), then realized I had commented the same thing a year ago when I first saw the post