fix: support verus_spec in verusdoc#2132

Marsman1996 wants to merge 1 commit intoverus-lang:mainverus-lang/verus:mainfrom

Marsman1996:fix-verus-spec-docMarsman1996/verus:fix-verus-spec-docCopy head branch name to clipboard