TeX/MinipageTipsの名前を変更します。