Links for example-pkg-tinycircuits