Text this: Participatory development of educational technologies: lessons learned