Historical clue formulations

• Ruler divs. — 2025-03-07
• Ruler divs. — 2023-04-25
• Ruler amts. — 2020-01-31
• Ruler units: Abbr. — 2019-06-23
• Ruler units: Abbr. — 2009-01-18