Closed
Description
By default we usually include full dartdocs in code completion because transferring a few mb of data is not a problem. However in a web IDE such as IDX, when the completion list is large (see #3894) and most documentation is inline and not lazy-resolved (because it's already in -scope), this can result in a much slower completion experience.
Until we are able to a) resolve completion for imported elements lazily and/or b) truncate the completion list without regressing the experience (eg. dropping items that should be ranked highly because the ranking tables are old), we should consider changing the default for documentation to "summary" or "none" in a web context.