astllc/production: links for example-pkg-tinycircuits