Converted many sidebars to TIPS, and replaced a number of TODOs