??????? in reference to the above, @JendrikStelzner ??

@amWhy they posted accidentally in this room what they posted in CRUDE and asked for it to be deleted. Maybe I should have moved it but half of it they managed to deleted themselves.

@quid I learned that in CRUDE, just a few minutes ago. But thanks!

@amWhy sorry I had not seen that, but maybe it is good to have it for reference.

@quid indeed.