RE: [x-symbol-devel] Please remove http://www.proofgeneral.org/ f rom x-symbol.texi