Added note about devmux