Ahh thank you I had missed Maxim2030. Looks like manhyper updated his fork of screeps on February 11th?
Also saw Mike Hancoski's Instagram but it's odd he hasn't posted anything to his LinkedIn since 2014? Maybe worth awkwardly reaching out just in case?