Someone asked for documentation on using the Mozilla preferences service. So I wrote an introduction.