Plugin Tag: minor edit

Adds a checkbox labelled "Minor edit" to the post editing page of WordPress.