A semantic history: How the term 'vibe coding' went from a tweet to prod