Issue #1546618 by wulff: Get rid of duplicate defgroups in docs