Remove history; adapt a bit more to reST, since this will once be part of the dev guide.