2 nice solutions, I did not have on my list. The gate drive could also be used with a capacitor.
The maxim app. note has a nice idea to use single sided drivers and extra resistors. It need more current for a short time, but only a rather short time, so it should be OK in may case, especially as I have a ~20 V supply and could thus use relatively large resistors.