Do not mark Android tablets as mobile (see #4150)