pull down to refresh

Reading it again, it looks like hyperbole and he's using the 'proprietary software' phrase to mean opaque to understanding by everyone other than the core developers, but it could also include the possibility of actual proprietary components which would (intentionally or unintentionally) tie the algorithm to some specific private hardware or software intellectual property or trade secret.