deprecation warning from ProofWidgets

Stream: mathlib4

[Scott Morrison]

@Wojciech Nawrocki, could you have a look at:

% lake build ProofWidgets.Presentation.Expr
Downloading proofwidgets/v0.0.10/macOS-64.tar.gz
Unpacking proofwidgets/v0.0.10/macOS-64.tar.gz
[1/6] Building ProofWidgets.Data.Json
[2/6] Building ProofWidgets.Compat
[3/6] Building ProofWidgets.Component.Basic
[4/6] Building ProofWidgets.Data.Html
[5/6] Building ProofWidgets.Presentation.Expr
stdout:
./lake-packages/proofwidgets/././ProofWidgets/Presentation/Expr.lean:85:14: warning: `ProofWidgets.getExprPresentation` has been deprecated

[Wojciech Nawrocki]

Oh, yeah, that's an unfortunate interaction between attributes. I have @[deprecated, server_rpc_method] def getExprPresentation, and the default attribute elaborator uses resolveName which checks for deprecation. So the implementation of the server_rpc_method attribute ends up complaining about the deprecation. Nevertheless I still need that attribute, even for the deprecated definition.

[Wojciech Nawrocki]

Okay, I found a stopgap to hide the warning. !4#4865