> remotes/origin/words-toc-korinek-tvrdy I asked for removing of this one right after the merge process. I don't know why it is still around, so feel free to remove.