Is it possible to use xCSoar / TopHat / SeeYou Navigator with AEFS v4 ? If yes, can you please point me to where I can find examples. Thank you.