Comment 4 for bug 883879

The patch ends up saving a bogus user-stylesheet-uri, which is some base64 value generated before. I updated the patch to save cached/ encoded user-stylesheet-uri separately from the original and use object data to save the original in main.c (plus lots of stylistic fixes). For some reason WebKit crashes frequently, although in principle it does work, it may just be the hour of the night that I don't see the problem. The special-case feels more ugly than it should be, though I'd also dislike to rename the setting that appears in the file.