#[global_allocator]
This was added in #83152, which has several errors in its comments. This commit also fix up the comments, which are quite wrong and misleading.