Thanks, @MartinSleziak, I might create a Meta post regarding this, and stopped myself because the PL-FOL pair is niche compared to the countless other example pairs in the same shoes, and because the more general Meta post that you recently created did not seem to garner much interest in the matter (I sensed indifference?).