On Wed, Mar 16, 2016 at 01:13:38PM +0300, Konstantin Khorenko wrote: > Kirill and Kirill, do we still need it? Looks so. Yes, we need it. Not immediately but in general it's better to have @pseudosuper dropped at the very late stage.