Re: [rules-users] Manners Benchmark broken!?