run jake and update tags-augments.html