How do I include contacts when searching in Google Maps? When I search for "Joe" in the Google Maps application, I'd like it to include "Joe Smith" from my Google contacts. How might I make this happen?

I'm using CyanogenMod 11-20140604-NIGHTLY-hammerhead (on a Nexus 5, "hammerhead").
Aha! The trick is to enable Web History. After doing so, I now see addresses for my Contacts (my "People") in Maps when I search for them by name.