In the global theme, the configure sidebar option lets you add links and hide the top two default ones, but there's no way to do anything with the page tree (it vanishes in configure sidebar mode). These are really distracting because there isn't enough space to display them properly anyway. How do I get rid of them? (Or do I have to use documentation theme?) Thanks!