==== Page editing ==== To edit a page in the Picnic Time knowledge base, simply click the pencil button labeled “Edit this page” shown in the menu on the right. This will switch to editing mode for this page, and you can change the source of this page in an embedded editor. Picnic Time knowledge base pages are written in a simple, plain-text syntax, that allows structuring the page with formatting while retaining readability of the page source. When you edit a page and save your changes, the previous content will not be lost. Instead it will be saved as an old revision of the page in the attic and can still be viewed or even restored. === Troubleshooting === In some cases, the editing of a page is impossible. This can be mainly for these reasons: Some pages may be locked. You may have not enough rights to edit the page. In that case, you will have no edit button, but will instead show a button labeled “Show pagesource”. To be able to edit the page, you might need to login first. “Show pagesource” button can be disabled in the configuration. Logged user with edit permissions can still of course edit the page.