Miscellaneous facts for puppet.