[Maria-docs] Obsolete TokuDB page?