>>517
「お気に入り」よりも「ブックマーク」の方が良いと思う人もいるかも
しれませんが、どちらでも良い、または「お気に入り」の方が良いと
いう人もいるかもしれません。この件に関して何か意見がある人は
おっしゃってください。私の意見はどちらでも良いけど修正が面倒
だなあ、です。