Add a note about which definition of whitespace this uses; there are multiple in the platform.