Not as much as this amuses me thoughpic.twitter.com/PMbghxUu6v
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
By the way, checked out the new Idris2 repo and had a huge surprise building it - orders of magnitude faster than before. Great work!
Thanks! But I'm never going to get my tedious jobs done now that I don't have at least a 2 minute wait for every small change...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.