v1.23:
FIX: networking issues when DNS filtering (e.g., via mimic mode) is enabled
(primarily Linux).
FIX: keep main activity from appearing multiple times when pressing
the back button or choosing Menu > Exit.
FIX: handle rare crashes reported by users via Android bug reporting.
Networking core performance improvements.