Educational Linux distribution Edubuntu has been (just about) discontinued