My first guess for that particular case is that PROD and DEV are often either parts of hostnames for those particular machines or are referring to hostnames, wh

My first guess for that particular case is that PROD and DEV are often either parts of hostnames for those particular machines or are referring to hostnames, which are often written in all caps.