It was sort of scrapped way back in the development of 2.0, but as the navigation links are built from a generic system, there is some support in the template for things that aren't necessarily used out of the box. Notably, the line you quoted also has a "counter" concept.
Add-ons can take advantage of these additional systems if they like, though you can also add icons via CSS as is.