> I think the documentation of \prop_get:NN in l3prop is wrong.
> It says that <info> of \prop_get:NN is assigned to a <tlp>,
> but actually it is assigned to a <toks>.
>
> The same applies to \prop_get_gdel:NNN.
well spotted, but I fear it is not the documentation but rather the
implementation that is incorrect right now.