Since github.io is a static page, and we lack an enpoint to search, the search widget is useless. Change-Id: I7c5728abaac880359daa71aa1d7093e38061231c
Resolve index page. Change-Id: I5546f49f3d4b277686c2e07ed1ef0082b4a4b6ce
Change-Id: I3825b2a1dbd680d25c28bfad49c71b94119dcd8f