What's the difference of `width` and `height` above compared to `screen_width` and `screen_height` here? If the config parser is modified so that lines with "#" at the beginning are ignored, we could have comments in the file here to clarify.