Extension:UserOptionStats/de-formal

The UserOptionStats extension is for reporting on User preference choices.