this is needlessly grandiose, the description of redmonk is wrong and i'm pretty sure the rankings in here are entirely made up, but diplomatically limiting it to a mere "over 15 years" definitely makes me feel less old. thanks, chatgpt.