fix #3981: mystery cache types renamed on website