I am sorry if this is too early. But I got curious after I saw the contest named — "AtCoder Grand Contest 050 (Good Bye rng_58 Day 1)" on Atcoder which is scheduled on 26th December. Does that mean rng_58 is leaving Atcoder?
P.S.- Sorry for unnecessary tagging