User blog comment:Rappy 4187/Technical Update: October 2, 2012/@comment-3441771-20121006085153/@comment-3441771-20121012022342

Pardon me, you're right, it was three updates ago (now four). Low priority, eh? Well, if you're supplying the tools to edit local JS, then they should work. Thanks for the code, but you've already given me that idea. lol

Come on, you just know I'm gonna become a pest over this, right? :P