I fully support the idea, having both coins merged is a smart move these days. Having no developer is not this big of a deal, GP has a stable wallet and active nodes, it's the community that matters =)

btw, looks like your recap needs a tiny correction