- countries.txt: Convert to mixed case, include in update
      - netdb.jsp: Hide all routers by default, sort and tag country names
      - oldstats.jsp: Move to stats.jsp
      - profiles.jsp: Show new DBH times instead of counts
    * Profiles:
      - Track last good and bad lookup times
        and last good and bad store times,
        to prep for floodfill changes
      - Don't reset last-heard-about at router startup
    * Checklist and Android readme fixups

     and 'd4e270a4df0c8134d7bac1585e30ef8ddef37f85'

two translation revision

      - Remove the almost-unused send and receive size RateStats;
        this also reduces the effective time for isActive()
      - Only store DB history on-demand to save space;
        fix up resulting NPEs

      No more port 8887 to prevent easy state-level blocking

      - More tagging
      - Show user-installed themes on configui.jsp
      - Fix reseed button spacing
    * GraphHelper cleanup
    * Susidns: add link to subscription faq

     and 'd36896148eb8067f68c653029fe60c09564a2bd8'

term rev [not failing] -> [Standard]
1 string(notice) with link still left in confstats

convert append(""+""+"") to append().append().append()

      - Remove limiter status from peers.jsp
      - Fix UPnP status header

      - Rewrite TrustedUpdate version comparator, use for netdb version table
        so 0.7.10 will be sorted correctly
      - Reduce netdb.jsp memory usage
      - More tagging fixups
      - configclients.jsp fixup for "Web console"

      - Generate new RI immediately at startup
      - Try again to not publish RI until we have been up a few minutes

     and 'c145f6f7910b49e65fbbd9ab94a06893d620dbba'

     and 'aaac66c060e4f5e3892662cb387e4f0bc6b67ce8'