manifest.json: version bump to 0.3.1.