INI filenames are really hard to remember, so let's make them easier to remember. Credit to @katanatr, because he came up with this idea all by himself!