Debian Menu System
You can put attachment:ion-devel into /etc/menu-methods/ and make it executeable (chmod u+x)
After running update-menus you can include("menudefs") from your ion-menus.lua and add submenu("Debian", "/Debian"), somewhere in a menu.
Have fun