[Pharo-project] Issue 3886 in pharo: Move PointerFinder to Deprecated13