Docs: add link to obscure bugfix
Docs: add link to obscure bugfix

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools