The problem has been fixed.
The documentation search bar is currently not functioning. A fix is being deployed.