On 03/02/2018 07:24 PM, Roman Kennke wrote: > It looks good to me. > Is continuous still useful? Maybe we want to remove it? This change renames "continuous" to "compact", and adds more fluff to it. -Aleksey