Ah that makes sense. That comment hadn't been posted at the time I made that post, but that definitely clears it up. Thanks!
Just had a fun run-in with a kid playing Pokemon GO. When he found out I'd been playing since July 2016 he asked me to trade him some of my older Pokemon since they'd automatically become Lucky. Well I certainly wasn't using them, so I gave him Blastoise, my starter, in exchange for a Magmar. Hopefully he puts it to more use than I ever did. Traded him a couple others as well. It's crazy how high-level these kids are, he was level 40 and had like two dozen of every Pokemon in the current meta.