wikifilter: Make reddit links go to compact when compact.
policy: Add a compact wiki redirect.
prefs: Use the correct abort().
prefs: Use number input type for numbers.