Squashed 'bin/' content from commit 1139f0d

git-subtree-dir: bin
git-subtree-split: 1139f0d500cf3b047943a4c751e88a5861632041
Merge commit '872a85b07f8ddd118c4b062244c3242e50a4d8f4' as 'bin'
Tweak plugin-dev-lib to satisfy our needs.