<div dir="ltr">Thanks. I hadn't thought of a lot of these issues before. <div><br></div><div>I think the biggest one is that If there's an update that the package manager didn't</div><div>know about, the user would have to update right after installing, and the bug would</div><div>come back if the user re-installed or updated the app. Sorry everybody.<div><div></div></div></div></div>