The best would be an HTTP header PERMANENTLY_DELETED, but I couldn't find one. So, your approach should do it.
The best would be an HTTP header PERMANENTLY_ DELETED, but I couldn't find one. So, your approach should do it.