hof: remove extern

Crate ‘num’ is not required to compile but breaks ‘Run’ button on
website