[aur-requests] [PRQ#15447] Deletion Request for code-server-1.31