Simplified pr.ml, speed has doubled