What happened to the DIP on named arguments?

[sighoya]

On Wednesday, 24 June 2020 at 14:39:39 UTC, Mike Parker wrote:
> On Wednesday, 24 June 2020 at 14:29:04 UTC, sighoya wrote:
>
>> So is it now accepted?
>
> No. It's in the queue for Formal Assessment.

Thanks for clarification. And what is the state of the formal 
Assessment, where is it logged?