Michael Arntzenius

Thanks, that looks very interesting! It will take me a while to fully digest, I imagine.

this may be related to #2592

> After typing (fresh () and hitting RET, don't you get this? That assumes I'm writing new code. If I'm editing some existing code (either my own, or someone else's),...