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