Where is the discussion around BIP 110 (née BIP 444) taking place? The last response on the mailing list thread was November 11.

Seems like the PR hasn't had much going on for a few weeks either (other than BIP number assignment).

Am I just missing it?