Motivation for this is mostly for visibility in the HTML viewer, which doesn't surface "section sizes". I think it'd be good to create one symbol for each ELF section that is not already covered by existing symbols.