Is it ethical to edit other people's bot/user pages?
Yeah, my thoughts are if the person is active then ask first, if the person isn't active feel free to add, but think very carefully before modifying.
The only good reasons I can think to modify are:
- Grammar/spelling (which is fine)
- Adding links and categories which may not have existed when the author was making the page (also fine)
- Updating rumble positioning and scores (try to stick a date next to the data that's there, then add a new date with current data).
- Possibly adding a brief blurb if the bot was particularly influential in Robocode development.