Bounds for finite semiprimitive permutation groups: order, base size, and minimal degree. Issue 4 (5th November 2020)