Tweak sidebar, add link to Verilog history