SUNWdoc は End User 以上だけど SUNWman は Developer 以上だった......
でも，SUNWman だけ追加は比較的簡単だから全部やり直すこともない．