These tools aren't in the distribution - ask me (or GNU) for more info.
これらのツールはディストリビューションに含まれていませんので、詳細については私(またはGNU)までお問い合せください。