@mrinconcruz@gakonst@SocksNFlops I had been hoping @mrinconcruz would post a correction, but instead he has simply deleted his tweet.
As such I will post a screenshot and archived link to the original: https://t.co/enlcLPyzHZ
@mrinconcruz@gakonst@SocksNFlops You seem to be a bit confused, @SocksNFlops did not do most of the work. That was me. In fact, during my 3 years at PRL, I was the only one to do dev work on that project.