1.3.5

• New optimization for Summary of Documentation searches: Search code now runs 1.5 seconds after the last key press, when the user has finished typing. That way, the code doesn't run a huge amount of times every time a key is pressed.