+### `--semi-global`
+Enable all semi-global optimizations.
+
+### `--rta`
+Activate RTA (Rapid Type Analysis).
+
+This option only make sense in `--erasure` to enable some semi-global optimizations.
+
+RTA is implicitly enabled in `--separate` and `--global`.
+
+### `--inline-coloring-numbers`
+Inline colors and ids (semi-global).
+
+### `--inline-some-methods`
+Allow the separate compiler to inline some methods (semi-global).
+Need `--rta`.
+
+### `--direct-call-monomorph`
+Allow the separate compiler to direct call monomorphic sites (semi-global).
+Need `--rta`.
+
+### `--direct-call-monomorph0`
+Allow the separate compiler to direct call monomorphic sites (semi-global).
+Need `--rta`.
+
+The difference with the non-zero option is internal:
+with this option, the monomorphism is looked-at on the mmethod level and not at the callsite level.
+
+### `--skip-dead-methods`
+Do not compile dead methods (semi-global).
+Need `--rta`.
+
+## LINK-BOOST OPTIMIZATIONS
+
+In `--separate` and in `--erasure` modes, some optimization can be gained by hijacking the linker process.