[MariaDB discuss] Re: Detect INSERT vs REPLACE in BEFORE INSERT trigger