#28: Adopt Flask's exthook for slash extensions