[Tagging] Difference between man_made=mineshaft (disused=yes) and historic=mine_shaft?

[Tijmen Stam (Mailinglists)]

What is the difference between
man_made=mineshaft + disused=yes
(https://wiki.openstreetmap.org/wiki/Tag:man_made%3Dmineshaft) (13k uses 
for man_made=mineshaft)

and

historic=mine_shaft (note the spelling difference, two words for the value)
(https://wiki.openstreetmap.org/wiki/Tag:historic%3Dmine_shaft) 10k uses?

I see disused coal mines with headframes being tagged as both. They both 
have similar usage numbers, and usage numbers so great that an automatic 
edit is a bit scary.

JOSM shows man_made=mineshaft as a hammer and pickaxe (disused or not) 
and historic=mine_shaft as an upside down hammer and pickaxe.

Openstreetmap_carto does not render historic=mine_shaft (Example: 
<https://www.openstreetmap.org/node/8110679174> nor man_made=mineshaft 
(ex: <https://www.openstreetmap.org/node/6515676497>)

Osmand renders the historic=mine_shaft as upside down hammer and pickaxe 
(in a round POI icon) and man_made=mineshaft as pickacke and hammer (not 
in a round POI icon), even when combined with disused=yes.