pulp
pulp copied to clipboard
Have a `default` terminal in the configuration syntax
Every time I want to configure pulp for a new document, I have to come back here and remind myself what the default configuration is. It should be easy to get right -- e.g. by having a special default terminal in the configuration language that has the same meaning as not (boring | info | underfull | overfull) or whatever the heck the default actually is.