Hopefully this won't be needed - see the comment at L93. Please do let me know if you disagree with my idea how config option naming should work.