@alexfalkenberg it doesn't really matter -- if Trump wins, that's game over for the forseeable future as far as democracy in the USA. We're leaving the US if that happens, but I am hopeful it will not.