Remove toclevels and source-highlighter since they are spec'd in the build