optionDemultiplexer: Removed.