The context names (and some associated information) are retrieved
    from the context database listed in the Context Database Entries
    field of the DECset context window.