Re: [PATCH] rust: condvar: fix broken intra-doc link