hey a1k0n, we'll definitely have to take a look at the port you dropped in your post. we didn't do a ton of research before hand, but we were debating between box2djs and box2dweb. in the end we choose box2dweb since it's self contained within a single file and was supposed to be more up to date.
i don't think what you're saying is totally off topic. box2d is pretty awesome and it's surprisingly easy to get physics simulations up and running using the library.