Explicit degree bounds for right factors of linear differential operators. Issue 1 (27th July 2020)