1.2.4: assorted new features and improvements

The main purpose of this small update was to fix the broken "export=" feature (irrelevant to most users), but since I was going to work with the code of this generator anyway, I decided to make some other changes as well. Here is a list of the noticeable ones:

...(more)