v0.2.57

OrangePro no longer sends any usage data: the anonymous scan ping is removed. Reports gain voluntary feedback links (a footer link, a 'This looks wrong' link on each finding, and an occasional 'Did this help?' question after the findings); the links carry nothing about your project, and nothing is sent unless you submit the form. Turn the question off with 'opro feedback off', or hide all links with ORANGEPRO_FEEDBACK_URL=off. Fewer false delete paths: a delete on an in-memory Set or Map no longer counts as a code path that deletes data. Proofs now run in JavaScript repos that have more than one test runner installed. The detailed report drops its upgrade buttons and tightens its copy; the one-page summary reads more plainly. Analyzer identity: orangepro.analyzer.v10. New README.