Mere Coincidence? Miners Meet Core Developers, Bitcoin Price Plummets