Add documentation for mysql-fn