nhoizey/casimir — pull request #13 by chusopr (2013-09-15 16:29:25+00:00)
Title: Use INSTANCE_NAME for bookmarlet name.

Currently, bookmarklet is created as "+Casimir". I think that it would be more useful to use INSTANCE_NAME.