oops, maintainers can use a tool when it's out of service