Bug fixes to PRO will be made using PATCHY cradles.
The correction cradles must be relative to the current PRO version.
A test program which shows the effect of the bug (and fix) is to be provided.
A README file is to be provided.
Bug fixes will only be made if there is no reasonable workaround.