Based on my years of writing code, I tend to put 'header level' comments at the top of a file. As a result, when I write stored procedures, I tend to also put the header comments at the very top of the SQL script file.
However, my understanding was that comments at the very top of a SQL Server stored procedure script, located before the CREATE PROCEDURE command, would not be saved to SQL Server. So if you later scripted out an existing stored procedure from SQL Server, the resulting script would not include the header comments.
I was about to write a post about this situation, recommending where to place comments in stored procedures, when a weird thing happened.
I couldn't reproduce the issue.
On SQL Server 2014, I created a test stored procedure.
In this script, I put header comments at the top, before the CREATE PROCEDURE command. I then ran the script and created the procedure.
But when I scripted out the procedure, to my surprise, the resulting script showed my header comments.