some more small re-branding changes (Bitcoin Core)