make use of all_element_texts() for public display