we should use the annotated version of the prm file here. could leave a marginpar to say so (wasn't different before). tricky part is that we now have parameters in the prm file that are specific to the particular shared lib and consequently don't show up in the list of run-time parameters any more...