No can't say I've seen this either. I can't remember the exact moment in time but Contacts was phased out on vanilla Android a while back and replaced with People as the new " hub " for maintaining and accessing your contacts ( phone numbers, emails, addresses, etc. ). But like we've seen with other stuff the OEM may still choose to continue using something like Contacts when they put their own UI/skin over vanilla Android.
I too have the HTC One (M7) for what its worth.