Some of mine (and Daniel's and Peter's) changes to Invenio