Just curious. Is there any estimate on the number of Maxima users, and more specifically, on what each of those users is running Maxima? If not, could we make one? A poll, perhaps? - Jordi G.H.