I’ve considered switching to this due to issues with DevOS, but just noticed it doesn’t support home-manager yet