deprecate this remote

b/c it has been moved to stackforge.