Note that documentation issues are bugs, too