3/20/13: again UN-comment out top menu