michaelg/dev: links for gdb-probability