Interesting historical trivia! BTW is that website using the ubuntu font?