#31: make 16kHz default rate (index.php)