Keeping tilder, adding back F3 since some platforms still don't have hardware scan-codes for tilder key on non-US keyboards.