Add section which got accidentally removed

#3
by nielsr HF staff - opened

My previous PR removed a section, apologies, this one adds it.

infgrad changed pull request status to merged
Your need to confirm your account before you can post a new comment.

Sign up or log in to comment