How to edit robot.txt for indexing user profiles?

@Stephen, now that we can “play” with robot.txt here → /admin/customize/robots do you guys advise to allow those two → Disallow: /tags - Disallow: /tags/ ?