編集して名前そのままにするとトリップ機能の効果が無くなるのが地味に辛いな。
打開策を探すために試しに名前に#をつけてみる。
実験成功。これで編集してもトリップ機能が機能する。