All patches removed from here after a request by R. Kuit