> for a start, the first JP law on traffic lights in the 1930s used midori, not ao.
Have a source for that? This section[1] of the ja.wikipedia article could apparently use your revisions - both kanji are acceptable.
[1] https://ja.wikipedia.org/wiki/%E4%BA%A4%E9%80%9A%E4%BF%A1%E5...