That's a really great extension; My indie game currently uses .obj for some output files and this is very useful for me.