[wp-forums] Reporting a WP.org profile

[Merci Javier]

>
> Changing the forum profile is easy (if you're a forum moderator) but
> profiles.wordpress.org would require someone else to do it.
>

> ... if you're a forum moderator with additional privileges ...
> profiles.wordpress.org uses BuddyPress and only Site/Super Admin and the
member can edit profile by default.

Assuming it's an innocent misunderstanding any objections to my making that
> forum profile change? Unfortunately the user can always switch it back.
>

No objection here :) He hasn't been around in four months ...