[aur-dev] [PATCH] aur.inc.php: Use delete_session_id() where appropriate