Just discovered today that these magic tools that DrRacket gives me for free already work... (and I did not have to put any extra effort in!)
@racketlang #racketschoolpic.twitter.com/wfTBGcEoJr
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Well, just reimplement Idris in Racket. How hard can it be? 
You could hack it up on the flight home surely...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.