Comment by tsg

Thanks! I gave up on tagging some time ago, too (decent search is more important for me).