[opendmarc-users] new Ubuntu config questions

[Michael Fox]

I recently installed opendmarc (v1.3.1) from packages on Ubuntu 16.04.  I
configured the socket in the config file and that worked.  Mail is being
tagged with the Authentication-results ... dmarc=... header.  But I'm having
trouble getting other values in the /etc/opendmarc.conf file to be
recognized.  
Specifically:

1)  PidFile:
opendmarc.conf came pre-configured with "PidFile /var/run/opendmarc.pid".  
But when I look in the /var/run directory, the PID file is actually in
/var/run/opendmarc/opendmarc.pid.
And when I look in /var/log/mail.log, I see it was started with the -P
option:
... opendmarc[11740]: OpenDMARC Filter v1.3.1 starting (args: -c
/etc/opendmarc.conf -u opendmarc -P /var/run/opendmarc/opendmarc.pid)
Question:  The actual location (/var/run/opendmarc/opendmarc.pid) is fine
with me.  But why isn't the PidFile value in the config file being used?

2)  Public Suffix list:
opendmarc.conf came pre-configured with "PublicSuffixList
/usr/share/publicsuffix/"
But I see the file is actually at
"/usr/share/publicsuffix/public_suffic_list.dat"
The text in the config file says "Specifies the path to a file", not to a
directory.
Question:  Again, the actual location is fine with me.  But why isn't the
PublicSuffixList value in the config file being used?

3)  History File:
I tried to turn on the history file.
In opendmarc.conf, I uncommented "HistoryFile /var/run/opendmarc.dat"
After restarting opendmarc and receiving some mail, there is still no
history file.
Since /var/run is owned by root, I tried setting "HistoryFile
/var/run/opendmarc/opendmarc.dat" to match the actual PID file path.
After restarting opendmarc and receiving some mail, still no history file.
Question:  Why isn't the HistoryFile value in the config file being used?

Lastly, is there a way to display all of the values of all config variables
known by opendmarc?  It would help in understanding if opendmarc is using
the same value as in the config file.

Thanks
Michael