[web-devel] Upcoming WAI change: flushing