Based on a few months of usage without encountering the problem, it appears that I can work around this problem by using the driver located at <https://github.com/lwfinger/rtl8723au> rather than the driver currently shipped with the kernel. This is an acceptable workaround for my purposes, but still it probably means that the kernel version of the driver has a problem.
-- Antoine Amarilli
signature.asc
Description: PGP signature