vgdev/stable: links for example-pkg-tinycircuits