redbug documentation now documents the current version of redbug.