FILTER-MILESTONES-MENU{,MILESTONES,UNMILESTONED}