Changes to HISTORY sizes; now appending to history instead of overwriting; drunkmode (but commented out)
Merged
Putting bash_profile under source control.
Added ;; mappings back.
Put bash_profile under source control.
Concluding merge.