REDIBook executed its last trade last night. It went not with a bang, but with a whimper. The end of an era. RIP old friend.