[configure] Fix docs for --with-libgc option (#4707)