updated TODO
made minor doc changes to AltFloat; will probably kill it soon