DIP 1038: @nodiscard - Unofficial "post-final" review

[Dukc]

On Monday, 22 February 2021 at 12:03:40 UTC, Paul Backus wrote:
>
> Since it's a substantial addition (almost 50% of the DIP's 
> original length), Mike Parker, the DIP Manager, has graciously 
> allowed me to postpone formal assessment to give the community 
> a chance to look it over, and point out any silly mistakes I 
> may have made.

Shouldn't this mandate another official final review round 
instead (mainly asking Mike here)? Or even another community 
review?