New rich notes editor and improved search

Updates in 2022-01-15 release:

  • Added rich markdown editor for task notes.
  • Improved quality of search results: priority is given to active tasks.

Full changelog is available here.