Alexei Podtelezhnikov Tue, 20 Oct 2020 12:53:19 -0700
> withdrawn macro that wasn't intended for external usage
We should drop it from the demos too, shouldn't we?