https://www.joseferben.com/posts/upgrading_nixos_channels/