`get_text` here uses the same mechanism, no?