astllc/production: links for aiges-python