remark that the svn repository is now read-only

and has youngest revision 16086.  There will be no more.