A HTTP OPTIONS extension for APIs