Pine uses a resource file to keep track of its configuration,
    user preferences, and other information. By customizing the
    option settings in your PINE RESOURCE file, you can customize
    your pine environment to your liking. Generally the best way to
    set or change option settings in your PINE RESOURCE file is from
    within pine, via the CONFIG option of the SETUP submenu accessed
    from pine's main menu. (Context sensitive help is available
    within pine for each such configurable item so you can get hints
    on setting your options.) However, the PINE RESOURCE file is
    a normal text file, so it is also possible to modify the PINE
    RESOURCE file using a text editor.