Adding minified version of Sylvester library to HTML.