There has a Bug on www.javassist.org/html/index.html with search

[fc8]

Hi there,
When I try to search keyword on the www.javassist.org/html/index.html, I find thath it redirects to a GitHub 404 page. From my analysis, it seems that an incorrect path undefined has been added.
For example:
keyword: insert
URL(error): https://www.javassist.org/html/undefined/javassist/bytecode/CodeIterator.html#insert(byte[])
URL(corret): https://www.javassist.org/html/javassist/bytecode/CodeIterator.html#insert(byte[])