@Benedick: That comment was definitely radically altered by the sidebar. It cut off just before "outside", which made me wonder…