Warn about using the GC

[Richard (Rikki) Andrew Cattermole]

On 15/01/2024 4:36 AM, Timon Gehr wrote:
> On 1/14/24 13:47, Richard (Rikki) Andrew Cattermole wrote:
>>
>> I want this to be the default, although Timon wants it to be much more 
>> configurable so you can pick and choose per parameter (again not 
>> mutually exclusive things!).
> 
> Having this be the default is mutually exclusive with me considering the 
> mechanism at all sane.

I would be open to discussing presets for such a design, the reason I 
want it to be the default is it would be quite common to want this and 
it could be a bit of a pain to write it out often.