1) Do other people want proposal issues to have [PROPOSAL] in their names, despite they also have a corresponding tag? Maybe we can at least make it not caps?
2) Would be nice to teach bot to visit PRs and issues from non-committers and remove "[tag name]" parts from their titles and assign corresponding tags.
