Trivial plug-in property edits and .gitignore work (IDEA project exclusion)