astllc/production: links for libgetavatgithub