am 96d2e09e: Merge "Docs: Fix mistake in binops destination folder"

* commit '96d2e09e8548be25c770e30055ad6726d6dca342':
  Docs: Fix mistake in binops destination folder