Why a stale bot is a bad thing for your bug tracker and why you don’t need to use it