[ingo] removing default rule buttons

[amy.rich@tufts.edu]

nicolas.schmitz> In fact you need to edit the "value" field in
nicolas.schmitz> $_prefs['rules'] :

I did edit the value field.  I wanted to remove them all, so I set it to ''.