I agree setting up a tent inside a shelter is a big major no no. All you are doing is taking up space that some tired hiker that comes along may have wanted. If you sleep in a shelter just roll out your bag and pad. Otherwise sleep in tent OUTSIDE. That's why you carry a tent in the first place-- to have a place to sleep if you can't be in the shelter.