Switch texinfo repo