Usability: renaming and documentation in preemptive circuit config
This branch tweaks some names and adds some documentation in the recently merged configuration for preemptive circuits, in an attempt to make it easier for users to figure out.
This branch tweaks some names and adds some documentation in the recently merged configuration for preemptive circuits, in an attempt to make it easier for users to figure out.