Android: preference to show/hide public comments

As discussed in #426