demilitarizing

alternative is allowed only occasionally and noncommercially, and only if the copyright holders of that numbered version or of the