possible bug – wp_options pm_page_load_times keeps growing

Hi,
Noticed the plugin has code a bit like :

function pm_add_to_footer() {
        global $pm_shortcode_content;
        echo $pm_shortcode_content;

        $page_load_time = timer_stop();
        $pm_page_load_times = get_option('pm_page_load_times', array());
        $todays_date = date('d-m-Y');
        if ( !isset( $pm_page_load_times[$todays_date] ) ) {
                $pm_page_load_times[$todays_date] = array( $page_load_time );
        } else {
                $pm_page_load_times[$todays_date][] = $page_load_time;
        }
        update_option('pm_page_load_times', $pm_page_load_times);
}

Unfortunately the pm_page_load_times option isn’t being trimmed, and eventually grows to be bigger than MySQL will allow in a query packet.

Can you do something to trim pm_page_load_times ?