Woops, prioritizer.js should be identical to master