Newlines: split afterInfix
into infix.{term,type,pat}Site
#6017
Loading
afterInfix
into infix.{term,type,pat}Site
#6017