Prepare to release 0.7.2, which seems to have fixed the tags issue completely.