and these all happens, cause a message in /usr/ports/UPDATING is missing. I am sure nearly nobody reads /usr/ports/MOVED (cause the most entries are no very interesting). If such important changes are made, it needs an entry in /usr/ports/UPDATING.