@9c630e02 fair point, though I wasn't moving 'off' but actually deleting, but obviously Github can't know the difference.