[hyperdoc-cvs] CVS update: src/slime.patch