ハイライトメンテナンス専用のパッチリリース0.142.3 からのユーザー向け変更はなく、内部メンテナンスのみを目的としたパッチリリース。機能・バグ修正の変更は含まれない。その他の変更0.142.3 に対するユーザー向け変更なし（メンテナンス専用パッチ）
