たとえば
>>7の案だと
現在使ってるトリップのキーが##から始まる物だったとしたら#｣と置き換えるのも面倒だし
>>17の案も#〜$〜ってキーを使ってたら#〜､〜に置き換えなければならない

結論：めんどくさい

現行トリップで困ってるやついるのか？