13:00:56 Having mentioned the Giant Glossary yesterday, Gordon O points me at refdesk which looks more familiar to me and has even more stuff.