Changed the names of all of these files so that editors automatically
open them in the right modes.