Right now we don't differentiate between these two scenarios at the Swift level of the app, meaning that with #186, we'll have a prompt to encourage users to raise GitHub issues for both scenarios, even though there's not necessarily much we can do about genuine bugs in the OPL programs we're running. If we find that we're getting too many issues as a result of these OPL bugs, we can consider separating the two and not showing the 'Raise GitHub Issue' for OPL bugs.
Right now we don't differentiate between these two scenarios at the Swift level of the app, meaning that with #186, we'll have a prompt to encourage users to raise GitHub issues for both scenarios, even though there's not necessarily much we can do about genuine bugs in the OPL programs we're running. If we find that we're getting too many issues as a result of these OPL bugs, we can consider separating the two and not showing the 'Raise GitHub Issue' for OPL bugs.