android browser's kludges