vEnhance
Randomised hint order
I really like how you randomised the hints in EGMO. I feel like it would be a good idea to apply this to Napkin too. Is there a reason this wasn't done?
There were a couple reasons why I didn't do it in Napkin initially:
(1) The TeX is a bit of a nuisance, so part of it is my laziness. (2) EGMO has incremental hint system where each problem has multiple hints; so it's less important here. (3) Most annoyingly, Napkin versions change very rapidly, with new exercises being added or deleted on a semi-regular basis. So even if with a fixed random seed, it would lead to a lot of "every hint gets randomly shuffled" every time a new version comes out which imo is too much change between minor versions.
If enough people want the randomized hints though, I'll do it along with the next big updates in Napkin (when I finish measure + AG --- admittedly, this is not going to be anytime soon, the way my life is going).
