ミニ用語を定義し、ミニ用語の表示非表示をユーザーによって表示できるようにしました。
ミニ用語の説明

最近の用語の細分化が気になっている方に向けての機能ですので
特に気になってない方には今まで通りつかってください。

よろしくお願いします。