* sa/dialyzer-bug-fixes:
  Fix typer's crash for nonexisting files
  Remove unused macro
  Decrease tuple arity limit
  Fix bug in dataflow

OTP-9597

This fixes a memory related crash.

* ta/typer-quote-atoms:
  Update Dialyzer's reference results
  Quote atoms if necessary in types

OTP-9560

* bjorn/erl_bif_types/OTP-9496:
  erl_bif_types: Fix types for lists:key{search,find,member}/3

The types for lists:key{search,find,member}/3 was computed under the
assumption that the key should be matched (=:=) to the keys in the
list, while the actual implementation uses comparison (==).

Thus erl_bif_types:types/4 would wrongly report that

  lists:keyfind(42, 1, [{42.0,a}])

would always return 'false'.

* pg/fix-hipe-bs_get_float2:
  Fix bug with binary pattern matching of floats of variable size

OTP-9556

* ta/docs-fixes:
  Fix misspelling of intermediate
  Fix typos in erts/preloaded/src
  Fix more misspellings of compatibility
  Fix misspelling of kept
  Fix misspelling of compatibility in ssl_basic_SUITE
  Fix misspelling of compatibility
  Fix misspelling of accommodate
  Fix misspelling of exceed
  Fix misspelling of accidentally
  Fix misspelling of erroneous in xmerl_xsd
  Fix misspelling of erroneous
  Fix misspelling of successful
  Fix typos in instrument(3)
  Fix typos in dbg(3)
  dialyzer: fix a small typo in list_to_bitstring test
  Fix typos in cover.erl
  Fix typos (variable name) in erl_nif(3)
  Fix typos in mod_esi(3)
  Fix trivial typos in erlang(3)

OTP-9555