Snippet tweaks, fix idomenu.