tutorial: use new fhdl.std + mention Mixxeo