for the record: the discussion was at 4f258c7523c577e24568333a119d04c7c3e224cf