This a very minor papercut, but see this screenshot:
The titlebar there probably the html <title> or some such. It says "Substitution". I think it would be better if it said: "CLP2: Substitution" or "CLP2: 1.4 Substitution".
(I haven't checked what CLP1 and CLP3 do, but I imagine the same applies)
joelfeldman
commented
1 year ago
This a very minor papercut, but see this screenshot:
The titlebar there probably the html
<title>or some such. It says "Substitution". I think it would be better if it said: "CLP2: Substitution" or "CLP2: 1.4 Substitution".(I haven't checked what CLP1 and CLP3 do, but I imagine the same applies)