W
Active Editors
Back to Profile

User Talk: DavidGries

Server-side rendered snapshot of this editor's Wikipedia talk page discussions.

Welcome!



Hello, DavidGries, and welcome to Wikipedia! Thank you for your contributions ↗. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful:

You may also want to take the Wikipedia Adventure ↗, an interactive tour that will help you learn the basics of editing Wikipedia. You can visit The Teahouse ↗ to ask questions or seek help.

Please remember to sign ↗ your messages on talk page ↗s by typing four tilde ↗s (<nowiki>~~~~</nowiki>); this will automatically insert your username and the date. If you need help, check out Wikipedia:Questions ↗, ask me on my talk page, or {{edit|Special:MyTalk|ask for help on your talk page|section=new|preload=Help:Contents/helpmepreload|preloadtitle=Help me!}}, and a volunteer should respond shortly. Again, welcome! <!-- Template:Welcome -->

David Gries


Hi. While editing an article about yourself is usually frowned upon, obvious exceptions are unsourced contentious material in biographies of living persons and you were right to remove it. Thanks. Kleuske (talk) 21:42, 25 February 2017 (UTC)
:Apropos "frowned upon"... Please read WP:AUTOBIOGRAPHY ↗ to see why. Kleuske (talk) 21:45, 25 February 2017 (UTC)

March 2017


<div class="user-block" style="min-height: 25px">left|45px|alt=|link= ↗This account has been blocked indefinitely from editing Wikipedia because the username, ''DavidGries'', matches the name of a well-known, living person.

<u> If you '''are''' the person represented by this username</u>, please note that the practice of blocking such usernames is to protect you from being impersonated, not to discourage you from editing Wikipedia. You may choose to edit under a new username (see information below), but keep in mind that you are welcome to continue to edit under this username. If you choose to do so, we ask the following:
:#Please be willing and able to prove your identity to Wikipedia.
:#Please send an e-mail to '''info-en15px|@ ↗wikimedia.org'''. Be aware that the volunteer response team ↗ that handles e-mail is indeed operated entirely by volunteers, and the reply may not be immediate.

<u>If you are '''not''' the person represented by this username</u>, you are welcome to choose a ''new'' username (see below).'''

A username should not be promotional, related to a "real-world" group or organization, misleading, offensive, or disruptive. Also, usernames may not end in the word "bot" unless the account is an approved bot account ↗.

You are encouraged to choose a new account name that meets our policy ↗ guidelines and '''create the account yourself ↗'''. Alternatively, if you have already made edits and you wish to keep your existing contributions ↗ under a new name, then you may request a '''change in username ↗''' by:
:# Adding <!-- Copy the text as it appears on your page, not as it appears in this edit area. Do not include the "tlx" argument. -->{{tlx|unblock-un|''your new username here''}} on your user talk page ↗. You should be able to do this even though you are blocked, as you can usually still edit your own talk page. If not, you may wish to contact the blocking administrator by clicking on "E-mail this user" on their talk page.
:# At an administrator's discretion, you may be unblocked for 24 hours to file a request.
:# Please note that you may only request a name that is not already in use, so please check here ↗ for a listing of already taken names. The account is created upon acceptance, thus '''do not''' try to create the new account before making the request for a name change. For more information, please see Wikipedia:Changing username ↗.

If you think that you were blocked in error, you may appeal this block ↗ by adding below this notice the text <!-- Copy the text as it appears on your page, not as it appears in this edit area. Do not include the "tlx" argument. -->{{tlx|unblock|Your reason here}}, but you should read our guide to appealing blocks ↗ first. Amortias (T)(C ↗) 20:32, 2 March 2017 (UTC)</div><!-- Template:Uw-ublock --><!-- Template:Uw-ublock-famous -->
:I unblocked after receiving confirmation of identity ticket:2017081510008669 ↗ --<span style="color:#000E2F;padding:0 4px;font-family: Copperplate Gothic Light">S Philbrick</span><span style=";padding:0 4px;color:# 000;font-family: Copperplate Gothic Light">(Talk)</span> 18:06, 17 August 2017 (UTC)

January 2019


25px|alt=Information icon ↗ Hello, I'm Materialscientist. I wanted to let you know that one or more of your recent contributions ↗&nbsp;to :Q.E.D. ↗ have been undone because they did not appear constructive. If you would like to experiment, please use the sandbox ↗. If you have any questions, you can ask for assistance at the Help Desk ↗. <!-- Template:uw-vandalism1 --> Materialscientist (talk) 11:34, 20 January 2019 (UTC)

Help me!



{{help me-helped}}
Please help me with...
I had added a short section to Limerick (poetry) ↗ --I first proposed it in the talk part and nobody said anything about it. The section discussed the website oedilf.com, which is writing a limerick for every word of the dictionary. It now has over 110,000 limericks. I thought this was a useful addition. It was removed by someone, without any discussion.

If I just the section again, someone will just remove it.

How do I enter into a discussion with someone about the merits of this edition?

Thanks. DavidGries (talk) 10:14, 9 July 2021 (UTC)


Help me!



{{help me-helped}}
Please help me with...
This is in regard to my last question about adding a section to Limerick (poetry) ↗ that discusses website oedilf.com. Please help me with my next question and then I will accept whatever it said. I am just trying to understand. You said that "it was correctly reverted as it is promotion of a site, it is not encyclopedic content about the subject."

But I claim that it IS encyclopedic content. Where else can you find 110,000 limericks? The existing sections provide only a limited number of limericks --perhaps 100, or 200 at most. My attempt at a section provides a resource for the reader that goes far beyond what is available elsewhere --110,000 limericks and growing. Isn't this worth including? DavidGries (talk) 00:29, 10 July 2021 (UTC)
:{{ping|DavidGries}} Hi there! I see you already posted on Talk:Limerick (poetry) ↗, and did not receive a response, so you updated Limerick (poetry) ↗, and then your edits were reverted. This happens sometimes. Per the Wikipedia:BOLD, revert, discuss cycle ↗, I suggest you invite the other editor to discuss your suggestion at Talk:Limerick (poetry) ↗, and ask them why they reverted your edit. Hope this helps! GoingBatty (talk) 00:55, 10 July 2021 (UTC)

Welcome to The Wikipedia Adventure!


left|link= ↗
:::::'''Hi DavidGries!''' We're so happy you wanted to play to learn, as a friendly and fun way to get into our community and mission. I think these links might be helpful to you as you get started.
::::::* The Wikipedia Adventure Start Page ↗
::::::* The Wikipedia Adventure Lounge ↗
::::::* The Teahouse new editor help space ↗
::::::* Wikipedia Help pages ↗
-- 09:45, Monday, July 11, 2022 (UTC ↗)
{{Wikipedia:TWA/Navigation2}}

Your submission at Articles for creation ↗: Interference freedom ↗ has been accepted


<div style="border:solid 1px #57DB1E; background:#E6FFE6; padding:1em; padding-top:0.5em; padding-bottom:0.5em; width:20em; color:black; margin-bottom: 1.5em; width: 90%;">50px|left ↗ '''Interference freedom ↗, which you submitted to Articles for creation, has been created.'''<br />

Congratulations, and thank you for helping expand the scope of Wikipedia! We hope you will continue making quality contributions. <br />

The article has been assessed as '''B-Class''', which is recorded on its talk page ↗. This is a fantastic rating for a new article, and places it among the top {{AfC talk/B percentage}} of accepted submissions — major kudos to you! You may like to take a look at the grading scheme ↗ to see how you can improve the article.

<div class="autoconfirmed-show">Since you have made at least 10 edits over more than four days, you can now create articles yourself ↗ without posting a request. However, you may continue submitting work to Articles for creation ↗ if you prefer.</div>

If you have any questions, you are welcome to ask at the '''<span class="plainlinks">[//en.wikipedia.org/w/index.php?title=Wikipedia:WikiProject_Articles_for_creation/Help_desk&action=edit&section=new&nosummary=1&preload=Template:AfC_talk/HD_preload&preloadparams%5B%5D=Interference_freedom help desk]</span>'''.<span class="unconfirmed-show"> Once you have made at least 10 edits and had an account for at least four days, you will have the option to create articles yourself ↗ without posting a request to Articles for creation ↗.</span>

If you would like to help us improve this process, please consider {{leave feedback/link|page=Wikipedia:WikiProject Articles for creation|text=leaving us some feedback}}.

Thanks again, and happy editing!
Devonian Wombat (talk) 23:22, 11 July 2022 (UTC)</div><!--Template:Afc talk-->

July 2022



30px|link=|alt=Control copyright icon ↗ Hello DavidGries! Your additions to :Interference freedom ↗ have been removed in whole or in part, as they appear to have added copyrighted content without evidence that the source material is in the public domain ↗ or has been released by its owner or legal agent under a suitably-free and compatible ↗ copyright license. (''To request such a release, see Wikipedia:Requesting copyright permission ↗''.) While we appreciate your contributions to Wikipedia, there are certain things you must keep in mind about using information from sources to avoid copyright ↗ and plagiarism ↗ issues.


It's very important that contributors understand and follow these practices, as policy requires that people who persistently do not must be blocked ↗ from editing. If you have any questions about this, you are welcome to leave me a message on my talk page. Thank you. <!-- Template:uw-copyright-new --> <span style="color:#800a71">Sennecaster</span> (<span style="color:#AE0949">Chat</span>) 22:57, 21 July 2022 (UTC)

:Thanks for the info. I see that you removed the information about work by Apt. I will put it back in, for without it, the paragraph doesn't make sense. But I will do my best to do it properly, following Wikipedia's rules. DavidGries (talk) 09:57, 22 July 2022 (UTC)

ITN recognition for Juris Hartmanis ↗



{{ivmbox
|1=On 5 August 2022, '''''In the news ↗''''' was updated with an item that involved the article '''''Juris Hartmanis ↗''''', which you updated. If you know of another recently created or updated article suitable for inclusion in ITN, please suggest it on the candidates page ↗. Stephen 00:45, 5 August 2022 (UTC)
|2={{Ambox globe current red}}
|imagesize=50px
}}

Thanks



{| style="background-color: #fdffe7; border: 1px solid #fceb92;"
|rowspan="2" style="vertical-align: middle; padding: 5px;" | 75px ↗
|style="font-size: x-large; padding: 3px 3px 0 3px; height: 1.5em;" | '''The Original Barnstar'''
|-
|style="vertical-align: middle; padding: 3px;" | Thanks for your continuing work on List of programming language researchers ↗<br />Arjayay (talk) 12:07, 23 August 2022 (UTC)
|}

:Happy to work on it. I have perhaps another 10-15 to add, and I will alert some of those added (whose email address I can find) and ask them about other possible people.
:DavidGries (talk) 12:26, 23 August 2022 (UTC)
::Just a suggestion - a slight problem and a possible solution - which, IMHO, would improve the list.<br>As per MOS:SEAOFBLUE ↗ we try to avoid putting two wikilinks together as in "Alfred Aho ↗, 2020 Turing Award citation ↗" and "Frances Allen ↗, 2006 Turing Award citation ↗" as this can obfuscate the name, since there is no clear break. In addition, such lists often/usually include the year of birth, and if relevant, year of death, as this tells the reader a) if they are still alive and b) what era they were working in, without extraneous text.<br>So, if it read "Alfred Aho ↗ (b 1941), 2020 Turing Award citation ↗" and "Frances Allen ↗ (1932-2020), 2006 Turing Award citation ↗" this would break up the MOS:SEAOFBLUE ↗ and give extra information to the reader.<br>I leave it to you - Arjayay (talk) 18:35, 23 August 2022 (UTC)
:::Thanks. I never thought of this problem of putting two wikilcnks together.
:::Tomorrow, I will go through and check them all and fix things.
:::DavidGries (talk) 19:26, 23 August 2022 (UTC)

Disambiguation link notification for September 1



Hi. Thank you for your recent edits. An automated process has detected that when you recently edited List of programming language researchers ↗, you added a link pointing to the disambiguation page Racket ↗<!-- ([//dispenser.info.tm/~dispenser/cgi-bin/dablinks.py/List_of_programming_language_researchers check to confirm]&nbsp;|&nbsp;[//dispenser.info.tm/~dispenser/cgi-bin/dab_solver.py/List_of_programming_language_researchers?client=notify fix with Dab solver])-->. Such links are usually incorrect ↗, since a disambiguation page is merely a list of unrelated topics with similar titles. <small>(Read the FAQ{{*}} Join us at the DPL WikiProject ↗.)</small>

It's OK to remove this message. Also, to stop receiving these messages, follow these opt-out instructions. Thanks, DPL bot (talk) 09:12, 1 September 2022 (UTC)

:Thanks for the note. I'll check it and fix it.
:DavidGries (talk) 09:39, 1 September 2022 (UTC)

Disambiguation link notification for September 8



An automated process has detected that when you recently edited List of programming language researchers ↗, you added links pointing to the disambiguation pages APL ↗ and FL ↗<!-- ([//dispenser.info.tm/~dispenser/cgi-bin/dablinks.py/List_of_programming_language_researchers check to confirm]&nbsp;|&nbsp;[//dispenser.info.tm/~dispenser/cgi-bin/dab_solver.py/List_of_programming_language_researchers?client=notify fix with Dab solver])-->.

(Opt-out instructions.) --DPL bot (talk) 09:14, 8 September 2022 (UTC)

:Fixed. Thanks DavidGries (talk) 09:45, 8 September 2022 (UTC)

Safety and liveness properties ↗



Thanks for the creation of Safety and liveness properties ↗, DavidGries! It's definitely useful information and references. I wonder how you think it fits in with existing articles: "Safety property", "Liveness" and Linear time property ↗. Rather than disjoint essays by individuals, Wikipedia is about accumulating knowledge from many different authors within a single article, and having a strongly connected network of links between related topics. I wonder whether all of the information you have added actually belongs within one of the three existing articles. Anything on safety alone belongs at "safety property", anything on liveness alone at "liveness" and the relationship between the two would maybe fit at linear time property ↗.

We don't really need heavy duplication of information like the section "Informal account of safety and liveness": as long as there is a little bit of overview and appropriate links, readers can find the information they need from other articles. For instance, for the context of safety properties, a formal definition and the phrase "something bad will never happen" is probably enough. — Bilorv ('''<span style="color:purple">talk</span>''') 16:23, 2 October 2022 (UTC)

:Thanks for your talk. I agree about having fewer articles. The current "Safety property" is poorly written and is far from adequate. Second, I believe it is best to have ONE article that defines and describes both ''safety'' and ''liveness'', rather than one that discusses 'safety' and another that discusses ''liveness'', for the two are really complementary. This is done in another place with partial correctness ↗ and total correctness ↗ redirect to Correctness ↗. After Safety and liveness properties ↗ is finished, I could actually see removing "Safety property" and have it redirect to Safety and liveness properties ↗. I would have to look at the "liveness" and Linear time property ↗ to see what I would do with them.
:This evening and tomorrow morning, I will edit Safety and liveness properties ↗ based on some comments I received from people. As I edit, I will take into account your remarks about "Informal account of safety and liveness". I'll get back to you after that.
:DavidGries (talk) 21:15, 2 October 2022 (UTC)
:This is a long talk, explaining why the new "Safety and liveness properties" belongs. I have had the help of people who know this area cold.
:1. The current "safety" and "liveness" articles are misleading about the breadth of these ideas and omit rigorous definitions. They also say nothing about the ramifications of these definitions (ie that they form a complete and orthogonal basis and that they each are discharged with different kinds of proof obligations). So these articles need substantial revision.
:To do those edits, we could split our safety and liveness article into two pieces, and replace the current articles with ours. But that 2-article packaging is less useful. (i) it does not make clear how the two defns relate or the interactive historical dance that got the field to this point. (ii) it would require repeating some things twice. So the better course seems to be replacing the current safety article and the current liveness article with pointers to this one single article.
:2. Regarding the relationship to "linear-time property" page: This article is about *propositional* linear-time properties. The formalism cannot handle predicates about program states, so it cannot define a property like: "the current value of y determines the number of times that x toggles between 0 and 1 before termination". The formalism used in our "Safety and liveness properties" is more general and can handle this.
:3. FORMALISMS. Any formalism for describing properties of individual executions will have a notion of safety properties and liveness properties. If the notation for defining properties is expressive enough, then there will be a theorem about decomposition of every property into a safety property (in the notation) and a liveness property (in the notation). We see that here in the "linear-time property" article. We also see that same narrative in the ""Input/output automaton" article -- though this is yet another formalism for expressing properties.
:The new page we wrote, "Safety and liveness properties", subsumes any specific formalism for representing properties. Therefore, it conveys the notions of property, safety property, and liveness property in general. Our article also gives intuitive meanings and to points out some "stumbling block" properties (e.g. deadlock) that people often get wrong. Talking about such misconceptions is not appropriate for articles that are focusing on specific notations.
:Should we consider cutting back in the Linear-time article and the I/O automaton article and have them refer to our new article for a safety and liveness discussion? I think that that would be a mistake, because each of those formalism-based articles translates the notions of safety and of liveness into the framework of their formalism and their underlying semantic model.
:Still, it doe make sense to include pointers in those articles to our new one, e.g.: "For a discussion of safety properties and liveness properties in general, see xxx". I can do this later on.
:DavidGries (talk) 14:00, 6 October 2022 (UTC)
::Thanks for the detailed reply and thought put into this. I agree with you that it does make sense to cover safety and liveness together at one article—the safety property article is very short and the liveness one spends much space contrasting liveness with safety. If Safety and liveness properties ↗ reaches a point where you think it contains all the information at "safety property"/"liveness" then you should be fine to redirect ↗ those pages there.{{pb}}The propositional/predicate distinction is one that I hadn't appreciated. I'm biased as I wrote linear time property ↗, but I think it has enough information and scope to remain a separate article. It covers properties that are neither safety nor liveness. — Bilorv ('''<span style="color:purple">talk</span>''') 20:57, 9 October 2022 (UTC)
:::I'm the original author of the 'safety property' and 'liveness property' articles and I support these articles being merged into one. Thanks to David and team for expanding so thoughtfully (and streamlining) the original articles on these important topics! Peter Bailis (talk) 23:08, 4 November 2022 (UTC)

DYK for PL/C


{{ivmbox
|image = Updated DYK query.svg
|imagesize=40px
|text = On 14 October 2022 ↗, '''Did you know ↗''' was updated with a fact from the article '''''PL/C ↗''''', which you recently created, substantially expanded, or brought to good article status. The fact was ''... that Cornell University ↗'s '''student-oriented programming language dialect ↗''' was made available to other universities but required a "research grant" payment in exchange?'' The nomination discussion and review may be seen at Template:Did you know nominations/PL/C ↗. You are welcome to check how many pageviews the nominated article or articles got while on the front page <small>(here's how, [//pageviews.toolforge.org/?start=2022-10-04&end=2022-10-24&project=en.wikipedia.org&pages=PL/C PL/C])</small>, and if they received a combined total of at least 416.7 views per hour (i.e., 5,000 views in 12 hours or 10,000 in 24), the hook may be added to the statistics page ↗. Finally, if you know of an interesting fact from another recently created article, then please feel free to suggest it on the Did you know talk page ↗.
}}<!-- Template:UpdatedDYK --> Cas Liber (talk '''·''' contribs ↗) 12:03, 14 October 2022 (UTC)

License tagging for File:MIchaelECaspersen.jpg


Thanks for uploading :File:MIchaelECaspersen.jpg ↗. You don't seem to have indicated the license status of the image. Wikipedia uses a set of image copyright tags ↗ to indicate this information.

To add a tag to the image, select the appropriate tag from this list ↗, click on this link ↗, then click "Edit this page" and add the tag to the image's description. If there doesn't seem to be a suitable tag, the image is probably not appropriate for use on Wikipedia. For help in choosing the correct tag, or for any other questions, leave a message on Wikipedia:Media copyright questions ↗. Thank you for your cooperation.<!-- User:OrphanBot/untagged-new --> --ImageTaggingBot (talk) 16:30, 17 November 2022 (UTC)

ArbCom 2022 Elections voter message



<div class="ivmbox " style="margin-bottom: 1em; border: 1px solid #AAA; background-color: ivory; padding: 0.5em; display: flex; align-items: center; ">
<div class="ivmbox-image" style="padding-left:1px; padding-right:0.5em; flex: 1 0 40px;">40px ↗</div>
<div class="ivmbox-text">
Hello! Voting in the '''2022 Arbitration Committee elections ↗''' is now open until 23:59 (UTC) on {{#time:l, j F Y|{{Arbitration Committee candidate/data|2022|end}}-1 day}}. All '''eligible users ↗''' are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee ↗ is the panel of editors responsible for conducting the Wikipedia arbitration process ↗. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans ↗, topic bans ↗, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy ↗ describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2022 election, please review the candidates ↗ and submit your choices on the '''2022|poll}}|voting page ↗'''. If you no longer wish to receive these messages, you may add {{tlx|NoACEMM}} to your user talk page. <small>MediaWiki message delivery (talk) 00:31, 29 November 2022 (UTC)</small>

</div>
</div>
<!-- Message sent by User:Cyberpower678@enwiki using the list at https://en.wikipedia.org/w/index.php?title=Wikipedia:Arbitration_Committee_Elections_December_2022/Coordination/MM/02&oldid=1124425183 -->

Conflict of interest editing



25px|alt=Information icon ↗ Hello, DavidGries. We welcome ↗ your contributions, but if you have an external relationship with the people, places or things you have written about ↗ on the page :Sri Sathya Sai International Organization ↗, you may have a conflict of interest ↗ (COI). Editors with a conflict of interest may be unduly influenced by their connection to the topic. See the '''conflict of interest guideline ↗''' and FAQ for organizations ↗ for more information. We ask that you:


In addition, you are '''required''' by the Wikimedia Foundation ↗'s terms of use to disclose your employer, client, and affiliation with respect to any contribution which forms all or part of work for which you receive, or expect to receive, compensation. See Wikipedia:Paid-contribution disclosure ↗.

Also, editing for the purpose of advertising, publicising, or promoting anyone or anything is not permitted. Thank you.<!-- THE FOLLOWING CATEGORY SHOULD BE REMOVED IF THE USER IS BLOCKED, OR IT IS DECIDED THAT THIS USER DOES NOT HAVE A COI, OR THIS TEMPLATE HAS BEEN IN PLACE FOR A WHILE WITH NO ACTION. -->{{#ifexpr: ({{#time: U | now}} - 1695289555) < 13150000 | {{PAGENAME}} ↗ | }}<!-- Template:uw-coi --> Melcous (talk) 09:45, 21 September 2023 (UTC)

ArbCom 2023 Elections voter message



<div class="ivmbox " style="margin-bottom: 1em; border: 1px solid #AAA; background-color: ivory; padding: 0.5em; display: flex; align-items: center; ">
<div class="ivmbox-image" style="padding-left:1px; padding-right:0.5em; flex: 1 0 40px; max-width: 100px">40px ↗</div>
<div class="ivmbox-text">
Hello! Voting in the '''2023 Arbitration Committee elections ↗''' is now open until 23:59 (UTC) on {{#time:l, j F Y|{{Arbitration Committee candidate/data|2023|end}}-1 day}}. All '''eligible users ↗''' are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee ↗ is the panel of editors responsible for conducting the Wikipedia arbitration process ↗. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans ↗, topic bans ↗, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy ↗ describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2023 election, please review the candidates ↗ and submit your choices on the '''2023|poll}}|voting page ↗'''. If you no longer wish to receive these messages, you may add {{tlx|NoACEMM}} to your user talk page. <small>MediaWiki message delivery (talk) 00:26, 28 November 2023 (UTC)</small>

</div>
</div>
<!-- Message sent by User:Cyberpower678@enwiki using the list at https://en.wikipedia.org/w/index.php?title=Wikipedia:Arbitration_Committee_Elections_December_2023/Coordination/MM/02&oldid=1187132049 -->

{{NoACEMM}}

I have sent you a note about a page you started



Hello, DavidGries. Thank you for your work on Michael E. Caspersen ↗. North8000, while examining this page as a part of our page curation process ↗, had the following comments:

{{Bq|1=Nice work!}}

To reply, leave a comment here and begin it with {{code|<nowiki>{{Re|</nowiki>North8000<nowiki>}}</nowiki>}}. Please remember to sign your reply with {{code|<nowiki>~~~~</nowiki>}}. <small>(Message delivered via the Page Curation ↗ tool, on behalf of the reviewer.)</small><!-- Template:Sentnote-NPF -->

<b style="color: #0000cc;">''North8000''</b> (talk) 01:55, 20 December 2023 (UTC)

:{{Re|North8000}}
:Thanks very much for letting me know about North8000's comment. It's good to know that what I did was done well enough to receive that comment.
:DavidGries (talk) 02:28, 20 December 2023 (UTC)