Documentation patch for bug 41972: add user preferences documentation; patch by victory <bmo@rsz.jp>, r=vladd.