Case-insensitive user tagging. Fixes #214.