jitx/stable: links for aiges-python