They posted the tentative name Monkeyshine a while back. Perhaps it stuck and there’s no more need for the naming thread.