Issue #2302021 by swentel, yched, undertext: Move options.module widgets in Core.