Lint docs for "ID" vs "id"

[maelle]

#1626 (comment) by @szhorvat

[maelle]

What do we prefer, ID or id?

[szhorvat]

I've been slowly rewriting to ID in the C core docs, but it's far from done. From my perspective, there's no right choice is, it's just a consistency issue, and definitely not a high priority. Time may be better spent elsewhere.

[krlmlr]

I propose to stick with ID then. Agree it's not a high priority.

@schochastics?

[schochastics]

agree on everything