small changes to use improve the ease of update#55

dzhou121 merged 1 commit intolapce:masterlapce/lapce.github.io:masterfrom

ionutrogojan:patch-1Copy head branch name to clipboard