Separate the list of pragma forms from the list of pragmas in the documentation