request for comments publication
collaborative compilation of information about the world's time zones