Hi, I was wondering if Ole Zorn has any plans for implementing snippets in the Python Scratchpad and maybe implementing some type of cursor numbering like this: ${1:Hello} ${2:World}. Oh and it seems like ios 7's keyboard api now supports dev implemented hotkeys, if true, is there any plans for user creation of hotkeys some time in the future?