# Modules: Allow author to define separate typing for user-config and resulting runtime-config