Implemented "whitespace ignore" (see #1)