v4.1
1da02f95 · make display for badge in navigation user optional, fixes #76 ·