Setec Astronomy was never the name of a fictional company, even in-universe they didn't pretend it was a front operation or anything. Merely a phrase, more of a password.