It may seem redundant to have to specify the /WEB-INF/tags part of the path, since all tag library directories must start with this path.
The JSP specification group decided to require this to be consistent with other attributes taking path values.