[23:03] Hi guys. If I issue the command 'tasksel', I get to choose "Edubuntu server". Where can I get som info about what that is?