chore: revert "fix: avoid panic in async elaboration for theorems with docstrings in where"#11969

Kha merged 1 commit intomasterleanprover/lean4:masterfrom

revert-11896-fix-docstring-panic-where-clauseleanprover/lean4:revert-11896-fix-docstring-panic-where-clauseCopy head branch name to clipboard