Fix typos.
Increment format version.

The changes to file.html need it in order for the new CSS to kick in properly.
Let folder context menus inherit the same padding as code context menus.
Indicate existence of context menus with cursor change: fix bug 965652. Fix repeated Diff icon: fix bug 1052524. Polish look of context menus: fix bug 1053423.