Optimal probabilistic catalogue matching for radio sources. Issue 1 (17th August 2020)