doc: Add a button to edit documentation on github
doc: Add a button to edit documentation on github

hotdoc/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc