Kill introduced again deprecated `WEB` macro.

This is a fixup for pull request #349.