Correct @requires and API-documentation...

... of `Format/WFST/v2_0_0_0.js`.

This might lead to our examples being functional again.

See also #1075.