allow_expired_crl

Hi folks, I maintain a Puppet module which manages FreeRADIUS deployments[1]. A user has opened a feature request asking me to add support for the undocumented boolean "allow_expired_crl"[2]. While I like to be as helpful as I can be when improving my module, is it really a good idea to use undocumented features, and to appear to encourage others to do so? Is use of this setting supported in any way? [1] https://github.com/djjudas21/puppet-freeradius [2] https://github.com/FreeRADIUS/freeradius-server/search?utf8=%E2%9C%93&q=allo... Thanks, Jonathan