New API convenience feature

[Dewey]

Hey there, I have a small convenience/improvement request.

I was just searching for the correct spelling of something on the API (http://docs.screeps.com/api/#Resource.resourceType). Since it's not something I type often, I double-clicked it to get the right spelling.  But that unfortunately also pulls in the type, so when pasting it comes out like this:

resourceTypestring

Not something big - but it was a nice function of the old API !

Thanks!

Dewey