These webidl files are unavailable because they have multiple functions with the same name and
different arguments (overloaded functions), and web-sys does not support these.