Many an improvement to pe.js.