and, regarding julius' comment about not holding it up, this has already been merged into master. These changes wouldn't affect user experience.