Does hotbooting currently support networking extensions? Or should a hotbooted mud just assume that a hotboot is the same as a warm boot plus preserved connections but not preserved ports? ...That reminds me, I need to update the kernel library not to reset connections on a hotboot...