Updated ProjectManager.js
For #2809, avoid adding duplicates to the list of welcome projects, and clean up existing duplicates
Update src/project/ProjectManager.js
added border: dimgray back
prettied it up a bit
Merge pull request #2812 from adobe/nj/issue-2809

Avoid adding duplicates to the list of welcome projects, and ...
Merge pull request #2802 from WebsiteDeveloper/Issue-2509

Fixed: Issue 2509 Double-clicking in rename input acts like double-clicking file normally
Turn off newline creation when autoclosing tags
Merge pull request #2832 from adobe/nj/issue-2547

Turn off newline creation when autoclosing tags
dimgray background
Merge pull request #2829 from adobe/garthdb/getting-started

Returned Dimgray border
Updated de to match en Getting Started CSS
Reverting to old screenshot since the styling of the new screenshot doesn't match the (reverted) background.
Merge pull request #2833 from adobe/nj/fix-de-getting-started

Updated de to match en Getting Started CSS
Remove extra divider from help menu.
Merge pull request #2834 from adobe/glenn/help-divider

Remove extra divider from help menu