little enchancement for the webpage

[Phil353556]

Hi,
What do you think of @jvde-github?

thank you
Philippe

[jvde-github]

Good idea to clean that up. I have added something along the lines of your suggestion. Hopefully that will help a few.

[Phil353556]

I hope too, and will avoid you to have trivial question :-)