The text 6f5cf36d0c0e, as Debian 10 (Buster) shipped it.
systemtap linuxmib-filter-default tapset
tapset::linuxmib-filter-default(3stap) on Linux now
