Five small fixes from #1757 and #1762: slash-safe detached write, git branch budget, honest forced removal, only deleted branches named, birth branch off the checkout

Five small fixes from #1757 and #1762: slash-safe detached write, git branch budget, honest forced removal, only deleted branches named, birth branch off the checkout #4205