@isagalaev @gknauss You are probably right. It's sad, though. End of an era.