remove RFC numbers from navbar (too wide)