Initial Setup - Lunar
note the file extension should be .vlog not .txt but that's not an allowed extension apparently
note the file extension should be .vlog not .txt but that's not an allowed extension apparently