Fixup #3991 (#3992)

* fixup #3991

* add xnaas to CREDITS.md

* Update docs/en/users/03_Main_view.md

Co-authored-by: Frans de Jonge <fransdejonge@gmail.com>

* fix typo

* Update docs/en/users/03_Main_view.md

The lines were combined into one line and `'` was replaced with `’` for contracted words.

Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>

Co-authored-by: maTh <math-home@web.de>
Co-authored-by: Frans de Jonge <fransdejonge@gmail.com>
Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>

docs/en/users/03_Main_view.md

@@ -240,7 +240,8 @@ For example, you can enter multiple instances of `f:`, `author:`, `intitle:`, `i
 Combining several search criteria implies a logical *and*, but the keyword ` OR `
 can be used to combine several search criteria with a logical *or* instead: `author:Dupont OR author:Dupond`
 
-When combining multiple negative operators (e.g. `!intitle:'thing1' AND !intitle:'thing2'`), you’ll need to consider [De Morgan’s laws](https://en.wikipedia.org/wiki/De_Morgan%27s_laws). See [this GitHub comment](https://github.com/FreshRSS/FreshRSS/issues/3236#issuecomment-891219460) for more details on the usage of `AND` vs `OR` when using combining multiple negative operators.
+You don’t have to do anything special to combine multiple negative operators. Writing `!intitle:'thing1' !intitle:'thing2'` implies AND, see above. For more pointers on how AND and OR interact with negation, see [this GitHub comment](https://github.com/FreshRSS/FreshRSS/issues/3236#issuecomment-891219460).
+Additional reading: [De Morgan's laws](https://en.wikipedia.org/wiki/De_Morgan%27s_laws).
 
 ### By sorting by date