pothos-gui: property docs need newline here