FIXED: git_shortlog/3: non-determinism
Updated semweb