RIght on. BTW, that is how you update Debian menus.