MariaDB 10.3.1 adds a new option to log_slow_filter, filsort_priority_queue. Not sure if this is intentional or a typo, but it's a poor choice of name, and should rather be filesort_priority_queue, to match the other options (assuming it refers to filesort and not something else).