Yes, it is, but we're not working on the same codebase now or working together (yet). After David gave up and we picked up development, he was encouraged to continue on his own codebase after we had some breakthroughs of our own.
We of course wish David well, but we also wish he would share his discoveries with us too!