They missed an opportunity to make a completely oblique literary reference by not calling it 'ptmux' (for the Pratchett fans in the audience).