bugfix; due to migration '~drtrigon' became 'drtrigonbot' - now more general anyway

Change-Id: I0ca5f216d6573f67858f9aac537575f154014bda