Deleted. I may (or may not) publish the edited, new version of this in the future.