Exactly. It should also be ubiquitous to shorten GNU/Linux to GNU in the context of not being Android, Alpine, or other Linux-based operating systems.