# DO NOT edit this file manually! Use plugin commands to edit maps instead.