Updated documentation for new language behavior of Whip