Try to improve explanatatory comment about task shutdown and |destabilize_task_group()|.