Links for texinfointeractive