Merge pull request progit#1287 from progit/export-sketch-symbols

Add a slice to the symbols page and export it

Update diagram font and export SVGs (progit#1285)

Update diagram font and export SVGs

Merge pull request progit#1284 from katrinleinweber/1269-aggregate-co…

…re.editor-commands

Add Xi to core.editor list in Appendix

Expand core.editor command list in Appendix (progit#1283)

Expand core.editor command list in Appendix

Running "git rebase -i HEAD~3" won't always rewrite commits (progit#1278

)

Running "git rebase -i HEAD~3" won't always rewrite commits

Merge pull request progit#1274 from prosoitos/minor_fix_intro_help

Minor fix intro/help

Merge pull request progit#1273 from ChenSL86/change-order-of-the-thre…

…e-states

Change the order of the three states of files.

Merge pull request progit#1272 from SiarheiBobryk/the-head-after-git-…

…init

Specify the branch the HEAD points to on init

Merge pull request progit#1270 from katrinleinweber/1269-aggregate-co…

…re.editor-commands

Aggregate core.editor command list in Appendix C

Merge pull request progit#1268 from ScumCoder/notypo

Revert "one typo fixed" (6b82548)