eh cant be bothered. if he was still a dev he profile would have that nice dev badge. idk when he left. it would not be the first discussion i see about him not being a dev. but suddenly in 2022 he would still be a dev without a badge. yeah suuuuuuuure. whatever floats your boat.