Remove some tips from the plugin dev. workspace setup page.