got rid of abbrev and navbox because they are impractical