moved inclusion of library extension to html