3 ms·An aside point of curiosity: That is quite a dictionary at the end of the HTML...by raintrees 10y agoAn aside point of curiosity: That is quite a dictionary at the end of the HTML...