Jeff, I completely agree with you. That's why I added the Editor's Note there.

However, we do our best to answer user's questions and cover plugins that are in the WordPress.org repository.

Adding the checkbox after the comments is the best way to go about it for sure.