See above about unused parameters - we should see if we can ignore these by default, since they have a positive documentation effect.