@AldousDuke Sorry, not enough chars to credit you for that last tweet!