My impression from lurking in IRC and the Slack over the past few months is that there's no consensus around a hard fork. I also think there was somewhat of a mutual understanding among most people involved in the July SF dev/miner meeting....that in the wake of Ethereum's failed hard fork, that a hard fork is more dangerous than most had expected. It's on the back burner. Way back. I don't think the timing of the deadline for that proposal, and the SF meeting were coincidental.