@Merlicious
interesting my friend.... convincing the convinced..... my best wishes on that one
Personally I cannot understand why not just open it up and be happy that all the hard work of HOL can be used by one and all.... rather than selected use. but hey, thats ground thats been covered in another argument.
I fear my friend, that any attempt to offer a solution that doesn't bolt HOL down even further, will probably result in either flaming or ignoring.
A big shame, as i have nothing but the up most respect for the guys that started it, maintain it and build it... truly hero's of mine..... just IMHO kinda losing sight as to what HOL stands for.... but hey... another argument in another thread.....