Remove reference to non-existent "HDL" command and minor edits