>>559 「#◇******」でどうですか？

従来は名前欄の置換処理がトリップキー部分にも適用されて
いったん◆が◇に変換されてからトリップが生成されてましたが，
今はトリップキー部分ではそういう変換が行われなくなったので．