DEST の有無にかかわらず、 SHORT-NAME すべてのタグを作るほうが満足度高いのでは？？？

[mikoto2000]

検討してみる。

[mikoto2000]

物によっては死ぬほど時間がかかるようになるので、オプションにするのが良いかも。

ただ、現状としては REF 先の確認がしたいという要求を満たせているので、全 SHORT-NAME にタグを作成する機能については保留とする。