Updating: testing ATS-Postiats-contrib on GitHub as sourceloc