These are the sources for all extensions that are hosted at CMU.
run:

. update-server.sh

to update files on the server to match these.

** Be sure to edit extlist-template.txt instead of extlist.txt
** extlist.txt is machine-generated by update-server.txt
