Never mind, Booyaka and the hidden account have been indefblocked on the WP:AN page. Do we need to ask for the same for the IP address (it seems rather long term/stable with Booyaka being the only one at that IP), or do we need to wait for the ban to expire and then reask for a block?