Loading annotation for eigen.tuxfamily.org