Docs: @while works now.