Update ChangeLog's and pages to mention add-on version 0.5a.

firefox/.gitignore

+NameIdLogin-*.xpi

firefox/ChangeLog

 ChangeLog for NameID Login Add-On
 =================================
 
-Version 0.5a (trunk):
+Version 0.5a (2014-07-01):
   * Whitelist nameid.bit and id.bit by default, too.
   * Switch to more flexible, event-based communication with the page.  This
     allows for a less strictly structured login page, which can access the

provider/ChangeLog

 ChangeLog for NameID Identity Provider
 ======================================
 
-Version 0.5a (trunk):
+Version 0.5a (2014-07-01):
   * Switch to the new event-based communication between login page and the
     login browser add-on.
 

provider/pages/addon.php

@@ -41,8 +41,8 @@ and troublesome, you can <b>automate them</b> by using the
 browsers.  Try it out:</p>
 
 <div class="offset1"><a class="btn btn-success"
-      href="NameIdLogin-0.4a.xpi">NameID Easy Login<br />
-<small>Version 0.4a</small></a></div>
+      href="NameIdLogin-0.5a.xpi">NameID Easy Login<br />
+<small>Version 0.5a</small></a></div>
 
 <p class="padTop">When the add-on is installed, you have to make sure that the
 <a href="https://github.com/namecoin-qt/namecoin-qt"><b>Namecoin-Qt</b></a>

provider/pages/loginForm.php

@@ -33,6 +33,9 @@ $msg->finish ();
 <div class="hideWithAddon">
   <div class="alert alert-info">Manually signing the challenge is very
 troublesome.  Take a look at our <a href="?view=addon"><b>add-on</b></a>!</div>
+  <div class="alert alert-warning">Note that the login process was
+changed since version 0.4a of the add-on, so you may need to
+<a href="?view=addon">upgrade</a> if you still have the old version.</div>
 </div>
 
 <p>In order to sign in with your Namecoin identity, you have to