JMeter - cleaning up dist/jakarta/jmeter

I have started the process of moving the JMeter distribution files
from /dist/jakarta/jmeter to /dist/jmeter.

Process so far:

- copied (cp -p) archives, sigs, hashes from /dist/jakarta/jmeter to
/dist/jmeter
- added redirect for /dist/jakarta/jmeter to
http://ww.apache.org/dist/jmeter (this only affects www.apache.org,
not the 3rd party mirrors)

Now need to wait a day or two to allow the mirrors to catch up.

Next stages are:

- update download_jmeter.html to use /dist/jmeter instead of
/dist/jakarta/jmeter
- delete /dist/jakarta/jmeter

At some later point the archives need to be tackled, but that might
involve infra.

I think that's it; if anyone can spot any errors in the process please advise!
I propose to carry out the same process with BSF, BCEL, JCS in
conjunction with Commons (see separate e-mail).