Plug-in & tools page didn't exist yet when Hans wrote his message, and Documentation page is here.