Update documentation and hint sources for helpful wall rule