/tip

レンズマンでお馴染みレンズ。
レンズの語源はレンズ豆。
なぜなら凸レンズの形がレンズ豆に似ているからです。
これが本当の豆知識！！

「/tip」コマンドって、結局実装されたのですか？