Perfect, thank you! This clears everything up. (Sorry I missed that FAQ page – I looked through the titles but that one hadn’t jumped out at me at the time.)
What Android Contact app supports groups?
It looks like even applying the patch given in the FAQ on an AOSP build of Contacts no longer works as it seems Google has removed group support totally. I’ve also tried the OmniRom version of Contacts and a number of third party address book/contacts apps found on Play Store. Some that claim support for groups or categories turn out to only be able to hide/show various accounts.
What Apps are people using that support groups?