/devel/people duplicate entry due to typo - attempted patch

Hi,

I am new to this so please bear with me.

While browsing debian.org/devel/people I came across a duplicate group
which appears to be due to a typo.

"Debian running development group"
"Debian running develpment group" (missing 'o' in development).

This lead me to attempt a patch for bug submission. After checking out the
cvs and navigating english/devel/people.wml I came across this line:

# people.names is not in CVS because it is generated dynamically.
# Simply 'touch ../../english/devel/people.names' if you want to run wml
# on this file at home.

Looks like a dead end for me as I am unable to find any further information
on how the file is generated or how to submit a correction. Hopefully this
message finds the right people who can make it happen :)

I didn't want to file a bug without attaching the appropriate fix. If you
would sill like an official bug report submitted let me know and I will do
so.


Thank you!

James