Squashed 'user/plugins/problems/' content from commit 0cba3ed

git-subtree-dir: user/plugins/problems
git-subtree-split: 0cba3ed74df07c76e101a549c70c584a3ea00c00
Merge commit 'c1dbbe15dd54d176f1ca7c830ad6045c4196efec' as 'user/plugins/problems'