Unabridged because sometimes the left-out version (as with Super-
I believe the license on the super-cm fonts does not permit
free (libre) redistribution?
My mistake, it's GPL-d. (Thanks Kaja.) I don't know why it was left
out, perhaps just available space.
k