Plugins in documentation ToC

Just adjustments, nothing new.