Edit button on https://jline.org documentation website has link to wrong GitHub MD source due to double /docs/docs/ #1309
Description
E.g. on https://jline.org/docs/advanced/screen-clearing, when you that Edit this page link at the bottom, it goes to https://github.com/jline/jline3/edit/master/website/docs/docs/advanced/screen-clearing.md (which is wrong) instead of to the correct https://github.com/jline/jline3/edit/master/website/docs/advanced/screen-clearing.md (note the removal of the double extra docs/docs).