Document debian/garradin.menu not found in trunk