Good catch, we should definitely pick one.
(both to keep the tldr page simple, and for the reason you mentioned)