favorite man pages

I wondered what my favorite man pages would be. A little awk'ing shows it:

26 man bash
9 man find
8 man sed
8 man mplayer
8 man itoa
8 man dot
8 man cpio
7 man sleep
6 man read
6 man maxima
5 man xterm
5 man wget
5 man bc
5 man awk
4 man transcode
4 man sprintf
4 man script
4 man scp
4 man pushd
4 man popd
4 man ncftp
4 man latexmk
4 man gimp
4 man basename
3 man sudoers
3 man grep
3 man gcal
3 man cut
2 man wc
2 man units
2 man tee
2 man shutdown
2 man sh
2 man set
2 man pdfcrop
2 man paste
2 man netstat
2 man join
2 man cat
2 man cal
1 man wodim
1 man watch
1 man uname
1 man trap
1 man tar
1 man tail
1 man select
1 man quote
1 man profile
1 man patch
1 man nc
1 man mplayer 
1 man lsof
1 man ln
1 man hexdump
1 man head
1 man git-tag
1 man git-gui 
1 man git-commit
1 man git
1 man getopt
1 man fdevopen
1 man emacs
1 man display
1 man dijkstra
1 man diff
1 man convert
1 man col
1 man cmp
1 man ImageMagick

This is the output of:

awk '/^man / { cmds[$i] ++ } END { for (i in cmds) print cmds[i] " " i }' .bash_history | sort -nr

My bash history is configured as:

export HISTCONTROL=erasedups
export HISTSIZE=10000
shopt -s histappend

It would probably look a lot different if erasedups would not be set.