There are no discussions on this page.
It looks like this page was deleted from WP. That doesn't mean we need to do the same, of course. Just thought I'd mention that. I don't see any particular reason for deletion, but I have not carefully read or research it. --David B (TALK) 20:28, 3 August 2018 (EDT)