{"library":"texi2html","install":[{"cmd":"brew install texi2html","imports":[]}]}