[tor-commits] r24325: {} remove a copy of navigation.wmi that is never used as far as (website/trunk/include)