Move instructions to the doc module.