Exception: `Task.get` called from a `(sync := true)` task

[lakesare]

VSCode throws the following exception from time to time.
There is no Paperproof in the stack trace, but I believe it happens because of Paperproof RPC calls.
Specifically, when we perform the RPC call while the file is still loading/is closed.

`Task.get` called from a `(sync := true)` task
backtrace:
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(+0xa99c3a3) [0x7196cc99c3a3]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(+0xa993113) [0x7196cc993113]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(+0xa99d207) [0x7196cc99d207]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(lean_task_get+0x55) [0x7196cc994605]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(Lean.EnvExtension.getStateUnsafe [arity↓, private]+0xe89) [0x7196cbe07e29]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(Lean.PersistentEnvExtension.getState [arity↓]+0x6e) [0x7196cbe0b56e]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(Lean.MapDeclarationExtension.find? [arity↓]+0x1d4) [0x7196cbc84ad4]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(Lean.Server.handleRpcCall [λ]+0xa3) [0x7196c5857d43]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(Lean.Server.handleRpcCall [boxed, λ]+0xf) [0x7196c5857e9f]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(<apply/1>+0x11c3) [0x7196cc9a0293]
/home/lakesare/.elan/toolchains/leanprover--lean4---v4.29.0/lib/lean/libleanshared.so(IO.AsyncList.waitFind? [arity↓]+0xb8) [0x7196c53f2878]