Add clumsy selection of options to edx-dump; Document a bit more; Fix typos