$\hat{G}$-local systems on smooth projective curves are potentially automorphic — latest news, discussion & facts — IJR