Timothy c9061ae66a Avoid mapping different options to the same ID ... Replacing non alphanumeric characters is fragile, e.g. "C++" and "C#" both become "C-". Instead, we can use base64 encoding.		2022-10-25 00:26:04 +08:00
..
Surveys.jl	Avoid mapping different options to the same ID	2022-10-25 00:26:04 +08:00