Implmentation-dependent stats are now described in an external
document.

Fix some VSC long-form documentation while we're here.