deprecation notes in docs

Stream: general

[Winston Yin (尹維晨)]

Is it an intended feature to be able to write a note inside @[deprecate]? If so, docs does not currently show these notes, and I think it should. See docs#Real.tendsto_pow_div_factorial_atTop . @Henrik Böving

[Winston Yin (尹維晨)]

I see the notes do show in VSCode, but I think it would be nice to have them also in the docs.

[Henrik Böving]

on it

[Winston Yin (尹維晨)]

Wow did not think this would be attended to before 2025 :D Thank you!

[Henrik Böving]

And it's up

[Winston Yin (尹維晨)]

Smashing!

[Winston Yin (尹維晨)]

I like that we also see the "since" date, but I suppose some may find it too raw?

[Henrik Böving]

Well in general the docs aim to generate something that is as close to the actual attributes as possible. That said I can definitely see a world where we put something fancy like
image.png

at some point

[Winston Yin (尹維晨)]

No worries punting it to at some point. :+1: Thanks again!