With Star Wars Day (May the 4th) fast approaching, it’s a good time to appreciate how far edtech has come