Header-only vs. compiled libraries, library compilation selection

[anarthal]

I'm think we're missing a mention of "header only vs. compiled libraries" in the discussion part (maybe in the introduction or the getting started, without having to scan through all of user-guide/header-organization-compilation.html.

We're also missing how to use --with-<lib>, which can alleviate compile times if you're not using all libraries.

[anarthal]

There is a mention to --with-<xxx> in the legacy getting-started-on-unix-variants.html. There's also a mention to --with-libraries=<list> that doesn't work anymore, so don't include that.

[anarthal]

This same legacy page mentions the difference between header-only and compiled libraries in the way I refer, maybe something can be scavenged from that