Micro AIs: consistently use underscores in ids and file names

This was still a mix of underscores and hyphens from the development
phase(s) done by a number of different people.
Micro AIs: consistently use underscores in ids and files names, Part 2

For some reason these were missed in the previous commit.