difference: has_children -> has_visible_children, and take into account comments

An earlier commit made the [+]/[-] behaviour also show/hide comments so we
should add that logic to Difference as well. Also, we use the phrase "children"
elsewhere to refer to only the _details, so use a different phrase here.