Quick bat signal for some research: do I know anyone that doesn't work for Facebook and has contributed patches to React or RocksDB?