Updates regarding the new arndt.js resource