Editor: completely moved wiki edit notice to AJAX fetch, so it's not shipped with the page anymore.
These icons are from the Flygo icon set, which is based on icons from the Tango
Desktop Project. They are released under the GNU General Public License.