taking down HoTT and SIP posts until they are closer to being finished