@mrvisser @nicolaasmatthijs @simong Although there is value in thoroughly going through PR's to catch all problems this is very trivial. I personally find it distracting and demotivating.