Becky Barnes

Hey y'all. I don't know if it has been discussed earlier or if anyone even cares, but does anyone think the name Becky Barnes is really similar and could be a nod to Bucky Barnes from Marvel? Or maybe it's a coincidence? Either way, I love both Marvel and Starkid so much <3