email, ping about dxr.sh, minterm/maxterm, obsolete bug