Sync with latest server version; added latest navigatorlabels plugin bundle

Added a small, unobtrusive theme identification line to the footer.