I just made a few small tweaks to the sidebar.

Now, when I export the wiki for the website, there will be no useless links in it, such as the link to the syntax page.

These types of links still show up for a logged in user, however. They're now in a separate page that gets included in the sidebar, which itself cannot be viewed by an anonymous user, like when the wget program is processing the wiki's pages.

The end result: I've now got somewhere to put private links to editing and administration tools, but they won't clutter up the export view. Sounds like a win for everyone to me.