PetraMagna
more adjustments
23:49
−284
localStorage is better for this use case
23:45
−39
no edit summary
14:39
+14
just to be safe about detection
12:13
+124
page-specific settings; support tabber extension
12:04
+426
some comments
07:54
+313
seems okay
07:44
+2,384