[doc] Advertise [[deprecated(msg)]] instead of old Dune macro

Sry @nedc I think my comment on this line didn't get sent. Thanks for the awesome description!