These include packages that have been added to Education 8.1
but missing in Workstation for no good reason so far
(thanks cas@ again).