Raghav, I've pushed these as 823b77fb0d22c21d74820d959ab07e0d63af2bfb & al. with a tweak to the commit message (‘(…):’, not ‘(…).’, please adjust your snippet/workflow :-) and fleshed-out descriptions from my & Debian's hand. Thanks! T G-R