Splash page should include correct syntax for launching examples