Text this: Exploring advanced Euclidean geometry with GeoGebra