Yes, it is. However you need to use the one from the Patchmanager catalogue, not the one from Openrepos which is hopelessly out of date. Isn't it wonderful that we can install patches from so many sources? It is not confusing at all. Honest, guv!