I have explicitly modified our android app to have tags, however when I execute the page command I cannot see them. I can see the tags when I execute get_source but this is not a very pretty format to read so it would be good if tags could be included in the page cmd