So it’s been five months since @[email protected] last posted and two months since he contacted @[email protected]

It’s seems like nothing much has happened and the plans for a replacement were briefly resurrected then shutdown.

I guess we’ve all moved on.