fix warning in w11_extensions2/floquet.html

3 jobs for floquet_warning_fix in 46 minutes and 22 seconds (queued for 1 second)